This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,USA,39 pages.
Contributions:2 releases, 32 commits, 2 pushes in 8 months
abstract-machineabstract-machinesformalizationlambda-calculus
Language for high-assurance and high-speed cryptography
Contributions:10 pushes, 1 branch in 1 year 3 months