Project-Team Prosecco
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

up Home | Next next

2019 Project-Team Activity Report
PROSECCO
Programming securely with cryptography
Research centre: Paris

Field: Algorithmics, Programming, Software and Architecture
Theme: Security and Confidentiality
Keywords:
Computer Science and Digital Science:
  • A1.1. - Architectures
  • A1.1.8. - Security of architectures
  • A1.2. - Networks
  • A1.2.8. - Network security
  • A1.3. - Distributed Systems
  • A2. - Software
  • A2.1. - Programming Languages
  • A2.1.1. - Semantics of programming languages
  • A2.1.4. - Functional programming
  • A2.1.7. - Distributed programming
  • A2.1.11. - Proof languages
  • A2.2. - Compilation
  • A2.2.1. - Static analysis
  • A2.2.5. - Run-time systems
  • A2.4. - Formal method for verification, reliability, certification
  • A2.4.2. - Model-checking
  • A2.4.3. - Proofs
  • A2.5. - Software engineering
  • A4. - Security and privacy
  • A4.3. - Cryptography
  • A4.3.3. - Cryptographic protocols
  • A4.5. - Formal methods for security
  • A4.6. - Authentication
  • A4.8. - Privacy-enhancing technologies
Other Research Topics and Application Domains:
  • B6. - IT and telecom
  • B6.1. - Software industry
  • B6.1.1. - Software engineering
  • B6.3. - Network functions
  • B6.3.1. - Web
  • B6.3.2. - Network protocols
  • B6.4. - Internet of things
  • B9. - Society and Knowledge
  • B9.10. - Privacy