Marco Rocchetto's website

WELCOME

ABOUT ME

Marco Rocchetto
Senior Engineer@
ALES (Advanced Laboratories on Embedded System)
UTRC (United Technologies Research Center)
United Technologies Corp. (UTC)

RESEARCH INTERESTS

  • Formal methods for security and privacy
  • Cyber-Physical System security
  • Security protocols
  • Web applications security

RESEARCH PROJECTS

    • COMMA (Postdoctoral researcher)
      Combatting Context-Sensitive Mobile Malware (COMMA)
      Affiliation: University of Luxembourg
    • ASPIRE (Postdoctoral researcher)
      T4: Attacker Models
      Affiliation: Singapore University of Technology and Design
    • SPaCIoS (PhD student)
      project no. 257876, FP7-ICT-2009-5, ICT-2009.1.4: Trustworthy ICT
      Affiliation: Università di Verona
    • AVANTSSAR (Research assistant)
      project no. 216471, FP7-ICT-2007-1, ICT-1-.4: Secure, dependable and trusted Infrastructures
      Affiliation: Università di Verona

ACTIVITIES