Concepedia

Yohan Boichut

YB

4

Publications

69

Citations

4

H-Index

2005

Active since

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Yohan Boichut is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in formal verification, program analysis, and formal methods.

Top concepts

Publications per year

2005–2008

4

Publications

4

Automatic Verification of Security Protocols Using Approximations

Yohan Boichut, Pierre‐Cyrille Héam, Olga Kouchnarenko · HAL (Le Centre pour la Communication Scientifique Directe) · 2005 · 31 citations · Full text

, , +19

Using Animation to Improve Formal Specifications of Security Protocols

Yohan Boichut, Thomas Genet · 2008 · 16 citations

, , +16

A theoretical limit for safety verification techniques with regular fix-point computations

Yohan Boichut, Pierre‐Cyrille Héam · Information Processing Letters · 2008 · 12 citations

, , +16

Validation of Prouve Protocols using the Automatic Tool TA4SP

Yohan Boichut, Nikolaï Kosmatov, Laurent Vigneron · 2006 · 10 citations

Rows per page

1–4 of 4