de Ep Erik Vink

Statistics

Publications

Citations

H-Index

Active since

2003

Affiliations

Eindhoven University of Technology(Current)

de Ep Erik Vink is an author at Eindhoven University of Technology specializing in deductive verification, transitivity assumption, and protocol analysis.

Publications per year

2003–2003

Publications

On relational properties of lumpability

A Ana Sokolova, de Ep Erik Vink · TU/e Research Portal (Eindhoven University of Technology) · 2003 · 14 citations · Full text

Engineering, Mathematics, Probability Theory +10

Formal methods for security protocols : three examples of the black-box approach

Cjf Cas Cremers, Sjouke Mauw, de Ep Erik Vink · TU/e Research Portal · 2003 · 10 citations

Computing, Computer Science, Computer Security +16

1–2 of 2