Mayla Brusò

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Privacy Protection

Communication Systems

Top Venues

Publications

Meilof Veeningen, Mayla Brusò, Jerry den Hartog, Nicola Zannone
TRIPLEX: verifying data minimisation in communication systems. CCS (2013)
Mayla Brusò, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog
Linking Unlinkability. TGC (2012)
Mayla Brusò, Agostino Cortesi
Non-repudiation analysis using LySa with annotations. Comput. Lang. Syst. Struct. 36 (4) (2010)
Mayla Brusò, Konstantinos Chatzikokolakis, Jerry den Hartog
Formal Verification of Privacy for RFID Systems. CSF (2010)
Mayla Brusò, Agostino Cortesi
Non-repudiation Analysis with LySa. SEC (2009)