Travelled to:1 × Norway
2 × USA
Collaborated with:J.Andronick G.Klein I.Kuz R.Leslie-Hurd D.Caspi
Talks about:verifi (2) platform (1) lineariz (1) softwar (1) toward (1) extens (1) compon (1) verif (1) intel (1) guard (1)
Person: Matthew Fernandez
DBLP: Fernandez:Matthew
Contributed to:
2015
2015
2013Wrote 3 papers:
- CAV-2015-Leslie-HurdCF #verification
- Verifying Linearizability of Intel® Software Guard Extensions (RLH, DC, MF), pp. 144–160.
- FM-2015-FernandezAKK #automation #verification
- Automated Verification of RPC Stub Code (MF, JA, GK, IK), pp. 273–290.
- PLOS-2013-FernandezKKA #component #framework #platform #towards
- Towards a verified component platform (MF, IK, GK, JA), p. 7.