DOCSLIB.ORG
Sign Up
Log In
Upload
Search
Sign Up
Log In
Upload
Home
» Tags
» Cryptol
Cryptol
Practical Reflection and Metaprogramming for Dependent
Dynamic Extension of Typed Functional Languages
A Fast, Verified, Cross-Platform Cryptographic Provider
Comparative Programming Languages CM20253
Crypthol: Game-Based Proofs in Higher-Order Logic∗ David A
Arxiv:2102.01644V2 [Cs.PL] 9 Jun 2021 08Ascainfrcmuigmachinery
Chapter 2 Domain-Specific Languages for Cryptography
Case Studies in Cryptol a Study of Domain Specific Languages for DSP Algorithms Master of Science Thesis in Computer Science and Engineering
Vale: Verifying High-Performance Cryptographic Assembly Code Barry Bond and Chris Hawblitzel, Microsoft Research; Manos Kapritsos, University of Michigan; K
List of Programming Languages
Domain Specific Languages a Path to High Assurance Solutions CASE STUDY
Haskell (Programming Language) 1 Haskell (Programming Language)
Empowering the Experts: High-Assurance, High-Performance, High-Level Design with Cryptol
Secure, Fast and Verified Cryptographic Applications: a Scalable Approach
High Confidence Software and Systems (HCSS)
Top View