Login / Signup
Foundational Integration Verification of a Cryptographic Server.
Andres Erbsen
Jade Philipoom
Dustin Jamner
Ashley Lin
Samuel Gruetter
Clément Pit-Claudel
Adam Chlipala
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
cryptographic protocols
client server
database
end users
formal verification
model checking
smart card
web server
high assurance
steady state
data integration
formal methods
service times
low latency
distributed systems
digital signature
wireless sensor networks
central server
database systems