Molly: A Verified Compiler for Cryptoprotocol Roles.

Daniel J. Dougherty Joshua D. Guttman

Published in: CoRR (2023)

Keyphrases

general purpose
programming language
data sets
real time
distributed memory machines
software systems
case study
computer vision
expert systems
relational databases
artificial neural networks
learning algorithm
genetic algorithm
open source
information retrieval
collaborative activities
real world