Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


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