FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies


2018 Project-Team Activity Report
PESTO
Proof techniques for security protocols
Research centre: Nancy - Grand Est
In partnership with: CNRS, Université de Lorraine

In collaboration with: Laboratoire lorrain de recherche en informatique et ses applications (LORIA)



Field: Algorithmics, Programming, Software and Architecture

Theme: Security and Confidentiality
Keywords:
Computer Science and Digital Science:
  • A2.4. - Formal method for verification, reliability, certification
  • A4.5. - Formal methods for security
  • A4.6. - Authentication
  • A4.8. - Privacy-enhancing technologies
  • A7.1. - Algorithms
  • A7.2. - Logic in Computer Science
Other Research Topics and Application Domains:
  • B6.3.2. - Network protocols
  • B6.3.4. - Social Networks
  • B6.6. - Embedded systems
  • B9.10. - Privacy