Project-Team Pesto
Team, Visitors, External Collaborators
Overall Objectives
Context
Objectives
Research Program
Modelling
Analysis
Design
Application Domains
Cryptographic protocols
Automated reasoning
Electronic voting
Privacy in social networks
Highlights of the Year
New Software and Platforms
Akiss
Belenios
Deepsec
Tamarin
SAPIC
TypeEquiv
New Results
Security protocols
E-voting
Privacy
Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Bilateral Grants with Industry
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2018
|
Presentation of the Project-Team PESTO
|
PESTO Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Bogdan Warinschi (Univ Bristol), November 2018
Previous |
Home
| Next