Sylvan Pinsky

Honoring Carolyn Talcott's Contributions to Science

Sylvan Pinsky, Sylvan Pinsky, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.

Cathy Meadows: A Central Figure in Protocol Analysis

Sylvan Pinsky, 2019, Foundations of Security, Protocols, and Equational Reasoning.

An algebraic approach to non-interference (computer security)

Sylvan Pinsky, Sylvan Pinsky, 1992, [1992] Proceedings The Computer Security Foundations Workshop V.

Absorbing covers and intransitive non-interference

Sylvan Pinsky, Sylvan Pinsky, 1995, Proceedings 1995 IEEE Symposium on Security and Privacy.

An Algebraic Approach to Non-Interference.

Sylvan Pinsky, Sylvan Pinsky, 1992 .

Noninterference equations for nondeterministic systems

Sylvan Pinsky, Edward Zieglar, Sylvan Pinsky, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..

Joshua Guttman: Pioneering Strand Spaces

Sylvan Pinsky, 2021, Protocols, Strands, and Logic.