Communicating sequential processes
Communicating sequential processes
A semantics for a logic of authentication (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Reasoning about knowledge
Randomized algorithms
A probabilistic poly-time framework for protocol analysis
CCS '98 Proceedings of the 5th ACM conference on Computer and communications security
A calculus for cryptographic protocols
Information and Computation
Information flow inference for free
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Casper: a compiler for the analysis of security protocols
Journal of Computer Security
A lattice model of secure information flow
Communications of the ACM
Foundations of Cryptography: Basic Tools
Foundations of Cryptography: Basic Tools
Modern Cryptography, Probabilistic Proofs, and Pseudorandomness
Modern Cryptography, Probabilistic Proofs, and Pseudorandomness
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
On Unifying Some Cryptographic Protocol Logics
SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
Logics for Reasoning about Cryptographic Constructions
FOCS '03 Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science
Security policies for downgrading
Proceedings of the 11th ACM conference on Computer and communications security
A logical approach to multilevel security of probabilistic systems
Distributed Computing
Hi-index | 0.00 |
I would like to start my tenure as editor of the Logic Column by thanking Jon Riecke, who has edited this column since 1998. The Logic Column serves as a showcase of the many connections between logic and computer science. Logic has been connected with computer science since the early days of Turing. In the past few decades, logical methods have had a considerable impact. To get a sense of the range of applications, consider the 2001 NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science (see http: //www. cs. rice. edu/~vardi/logic/). An article derived from the workshop appeared in the Bulletin of Symbolic Logic [Halpern et al. 2001], and it is an exceedingly good read. If you get a copy of that issue of the Bulletin, make sure to also have a look at the article by Buss et al. [2001], which discusses the current state of mathematical logic.