Sylvan Pinsky

According to our database, Sylvan Pinsky authored at least 7 papers between 1992 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Joshua Guttman: Pioneering Strand Spaces.

Sylvan Pinsky

Proceedings of the Protocols, Strands, and Logic, 2021

2019

Cathy Meadows: A Central Figure in Protocol Analysis.

Sylvan Pinsky

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2011

Honoring Carolyn Talcott's Contributions to Science.

Sylvan Pinsky

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2001

Noninterference Equations for Nondeterministic Systems.

Sylvan Pinsky, Edward Zieglar

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

1997

Ensuring Assurance in Mobile Computing.

Marvin Schaefer, Sylvan Pinsky, Drew Dean, Li Gong, Jim Roskind, Barbara Fox

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

1995

Absorbing covers and intransitive non-interference.

Sylvan Pinsky

Proceedings of the 1995 IEEE Symposium on Security and Privacy, 1995

1992

An Algebraic Approach to Non-Interference.

Sylvan Pinsky

Proceedings of the 5th IEEE Computer Security Foundations Workshop, 1992