Jump to Navigation
Home
MEALS
Mobility between Europe and Argentina applying Logics to Systems

User menu

  • Login

You are here

Home ›

Publications

Filters: Author is Mayla Brusò  [Clear All Filters]
2013
M. Veeningen, M. Brusò, J. den Hartog, and N. Zannone, “TRIPLEX: Verifying Data Minimisation in Communication Systems”, in CCS, 2013.
  • Google Scholar
  • BibTex
M. Veeningen, M. Brusò, J. den Hartog, and N. Zannone, “TRIPLEX: verifying data minimisation in communication systems”, in ACM Conference on Computer and Communications Security , 2013.
  • Google Scholar
  • BibTex

Main menu

  • Home
  • Work Packages
  • Partners & People
  • Announcements
  • Publications
  • Deliverables

Contents

  • Home
  • Work Packages
  • Partners & People
  • Announcements
  • Publications
    • Authors
    • WP1
    • WP2
    • WP3
    • WP4
    • WP5
  • Deliverables

   

                              

Powered by Drupal