27 citations · 77 across the 18 of their papers we have counts for
4 papers · 1 filter
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca +1
Telephony Denial of Service (TDoS) attacks target telephony services, such as Voice over IP (VoIP), not allowing legitimate users to make calls. There are few defenses that attempt…
Subexponentials in non-commutative linear logic
Max Kanovich, Stepan Kuznetsov, Vivek Nigam +1
Linear logical frameworks with subexponentials have been used for the specification of among other systems, proof systems, concurrent programming languages and linear authorization…
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 $ν…
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…