99 citations
- University of LisbonPT15 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire Kastler BrosselFR5 papers
- Sorbonne UniversitéFR4 papers
- Radboud University NijmegenNL3 papers
- École Normale Supérieure - PSLFR2 papers
- Medical University of South CarolinaUS2 papers
- Stony Brook UniversityUS2 papers
- University of AlbertaCA2 papers
- Carnegie Mellon UniversityUS1 paper
- Charles UniversityCZ1 paper
- Constructor UniversityDE1 paper
Showing 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011★ 3 cited
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo Toninho, Luís Caires
Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques nee…
cs.LO2011★ 4 cited
An applicative theory for FPH
Reinhard Kahle, Isabel Oitavem
In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.