1. Formal verification of cryptographic circuits;Proceedings of the 2nd International Conference on Networking, Information Systems & Security - NISS19;2019
2. Using language workbenches and domain-specific languages for safety-critical software development;Software & Systems Modeling;2018-05-17
3. A Domain-Specific Language for Low-Level Secure Multiparty Computation Protocols;Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security;2015-10-12
4. Unikernels;ACM SIGPLAN Notices;2013-04-23
5. Unikernels;ACM SIGARCH Computer Architecture News;2013-03-29