Formal Models of Timing Attacks on Web Privacy

DOI10.1016/S1571-0661(04)00329-9zbMath1268.68036WikidataQ62045730 ScholiaQ62045730MaRDI QIDQ2841280

Andrea Maggiolo-Schettini, Enrico Tronci, Roberto Gorrieri, Riccardo Focardi, Ruggero Lanotte, Simone Tini, Fabio Martinelli

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68M11: Internet topics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symbolic model checking: \(10^{20}\) states and beyond
• A theory of timed automata