Mayla Brusò

According to our database, Mayla Brusò authored at least 5 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

TRIPLEX: verifying data minimisation in communication systems.

Meilof Veeningen, Mayla Brusò, Jerry den Hartog, Nicola Zannone

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Linking Unlinkability.

Mayla Brusò, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

2010

Non-repudiation analysis using LySa with annotations.

Mayla Brusò, Agostino Cortesi

Comput. Lang. Syst. Struct., 2010

Formal Verification of Privacy for RFID Systems.

Mayla Brusò, Konstantinos Chatzikokolakis, Jerry den Hartog

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Non-repudiation Analysis with LySa.

Mayla Brusò, Agostino Cortesi

Proceedings of the Emerging Challenges for Security, 2009