112 citations
- Technical University of MunichDE41 papers
- Blekinge Institute of TechnologySE26 papers
- Ludwig-Maximilians-Universität MünchenDE7 papers
- Siemens (Germany)DE7 papers
- Munich University of Applied SciencesDE4 papers
- Universidade Federal da ParaíbaBR4 papers
- Universität HamburgDE4 papers
- VerimagFR4 papers
- LMU KlinikumDE3 papers
- Microsoft Research (United Kingdom)GB3 papers
- Microsoft (United States)US3 papers
- University of StuttgartDE3 papers
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017
Proof-Relevant Logical Relations for Name Generation
Nick Benton, Martin Hofmann, Vivek Nigam
Pitts and Stark's -calculus is a paradigmatic total language for studying the problem of contextual equivalence in higher-order languages with name generation. Models for the $ν…
cs.LO2017★ 14 cited
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
Many security protocols rely on the assumptions on the physical properties in which its protocol sessions will be carried out. For instance, Distance Bounding Protocols take into a…