Mayla Brusò

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
TRIPLEX: verifying data minimisation in communication systems.
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

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

2010
Non-repudiation analysis using LySa with annotations.
Comput. Lang. Syst. Struct., 2010

Formal Verification of Privacy for RFID Systems.
Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009
Non-repudiation Analysis with LySa.
Proceedings of the Emerging Challenges for Security, 2009


  Loading...