Travelled to:1 × France
Collaborated with:J.Launchbury D.Archer T.DuBuisson A.Chudnov N.Collins B.Cook J.Dodds B.Huffman C.MacCárthaigh S.Magill E.Mullen S.Tasiran A.Tomb E.Westbrook
Talks about:multiparti (1) continu (1) formal (1) comput (1) applic (1) amazon (1) verif (1) secur (1) scale (1)
Person: Eric Mertens
DBLP: Mertens:Eric
Contributed to:
2014
2018Wrote 2 papers:
- ESOP-2014-LaunchburyADM #multi
- Application-Scale Secure Multiparty Computation (JL, DA, TD, EM), pp. 8–26.
- CAV-2018-ChudnovCCDHMMMM #verification
- Continuous Formal Verification of Amazon s2n (AC, NC, BC, JD, BH, CM, SM, EM, EM, ST, AT, EW), pp. 430–446.