Gilles Barthe

  1. Home
  2. search page
  3. author

Gilles Barthe

소속 기관: MPI-SP & IMDEA Software Institute Bochum Germany
국가: Germany
주요 연구 분야: Cryptography
주요 키워드: #cryptographic #security #simplify

📄 저자 정보

출판수 2
총 인용수 14
평균 인용수 7.00
좋아요 수 0
연도별 출판 논문
파트별 논문
저자 키워드
공동 저자 관계도

논문 목록 (2건)

Tidy: Symbolic Verification of Timed Cryptographic Protocols
저자: Gilles Barthe , Ugo Dal Lago , Giulio Malavolta , Itsaka Rakotonirina
키워드: #cryptography #cryptographic #polynomial #algebraic #calculus
파트: Cryptography | 연도: 2022
Structured Leakage and Applications to Cryptographic Constant-Time and Cost
저자: Gilles Barthe , Benjamin Grégoire , Vincent Laporte , Swarn Priya
키워드: #security #simplify #cryptographic #leakage #simplifies
파트: Cryptography | 연도: 2021