Non-repudiation Analysis with LySa. - Mayla Brusò; Agostino Cortesi (SEC, 2009)

Formal Verification of Privacy for RFID Systems. - Mayla Brusò; Konstantinos Chatzikokolakis 001; Jerry den Hartog (CSF, 2010)

Non-repudiation analysis using LySa with annotations. - Mayla Brusò; Agostino Cortesi (Comput. Lang. Syst. Struct., 2010)

Linking Unlinkability. - Mayla Brusò; Konstantinos Chatzikokolakis 001; Sandro Etalle; Jerry den Hartog (TGC, 2012)

TRIPLEX: verifying data minimisation in communication systems. - Meilof Veeningen; Mayla Brusò; Jerry den Hartog; Nicola Zannone (CCS, 2013)