PLDI 2018 (series) / DeepSpec 2018 (series) / DeepSpec 2018 /
Automation for High-Assurance Cryptography, for Primitives and Protocols
Tue 19 Jun 2018 10:00 - 10:30 at Columbus Ballroom B - Distributed Systems and Cryptography
Tue 19 Jun
09:00 - 10:00 Talk | Mooly SagivTel Aviv University | |||||||||||||||||||||||||||||||||||||||||
10:00 - 10:30 Talk |