Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:J.Andreoli R.Janvier Y.Lakhnech
Talks about:construct (1) adversari (1) presenc (1) encrypt (1) concurr (1) complet (1) pictur (1) formal (1) sound (1) proof (1)
Person: Laurent Mazaré
DBLP: Mazar=eacute=:Laurent
Contributed to:
2005
2003Wrote 2 papers:
- ESOP-2005-JanvierLM #encryption
- Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries (RJ, YL, LM), pp. 172–185.
- CSL-2003-AndreoliM #concurrent
- Concurrent Construction of Proof-Nets (JMA, LM), pp. 29–42.