Search Results for author: Michael R. Clarkson

Found 2 papers, 2 papers with code

Temporal Logics for Hyperproperties

1 code implementation17 Jan 2014 Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez

Standard temporal logics such as LTL, CTL, and CTL* can refer only to a single path at a time, hence cannot express many hyperproperties of interest.

Logic in Computer Science

A Temporal Logic of Security

1 code implementation24 Jun 2013 Masoud Koleini, Michael R. Clarkson, Kristopher K. Micinski

A new logic for verification of security policies is proposed.

Logic in Computer Science Cryptography and Security

Cannot find the paper you are looking for? You can Submit a new open access paper.