Pierre-Yves Strub - Publications, H-index & Citations

Pierre-Yves Strub

ecole des ponts paristech

29H指数

116论文数

3.1K被引数

收录论文 2

发表时间

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability 对抗复杂性的机械化证明及其在通用可组合性中的应用

ACM TRANSACTIONS ON PRIVACY AND SECURITY

IF2.8

2023-07-19

OAAI

Barbosa, Manuel; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre-Yves

A Messy State of the Union: Taming the Composite State Machines of TLS 混乱的国情咨文: 驯服TLS的复合状态机

COMMUNICATIONS OF THE ACM

IF12.2

2017-01-23

PREAI

Beurdouche, Benjamin; Bhargavan, Karthikeyan; Delignat-Lavaud, Antoine; Fournet, Cedric; Kohlweiss, Markulf; Pironti, Alfredo; Strub, Pierre-Yves; Zinzindohoue, Jean Karim

研究方向