Travelled to:1 × Portugal
Collaborated with:L.C.Paulson M.C.Carlos G.Price R.F.Custódio
Talks about:secur (2) multicast (1) protocol (1) ceremoni (1) verifi (1) threat (1) method (1) induct (1) updat (1) model (1)
Person: Jean Everson Martina
DBLP: Martina:Jean_Everson
Contributed to:
2013Wrote 2 papers:
- SAC-2013-CarlosMPC #security
- An updated threat model for security ceremonies (MCC, JEM, GP, RFC), pp. 1836–1843.
- SAC-2013-MartinaP #induction #multi #protocol #security #using #verification
- Verifying multicast-based security protocols using the inductive method (JEM, LCP), pp. 1824–1829.