Login / Signup
Sylvan Pinsky
Publication Activity (10 Years)
Years Active: 1992-2021
Publications (10 Years): 2
Top Topics
Training Set
Discrete Data
Multiresolution
Search Engine
Top Venues
Foundations of Security, Protocols, and Equational Reasoning
Protocols, Strands, and Logic
</>
Publications
</>
Sylvan Pinsky
Joshua Guttman: Pioneering Strand Spaces.
Protocols, Strands, and Logic
(2021)
Sylvan Pinsky
Cathy Meadows: A Central Figure in Protocol Analysis.
Foundations of Security, Protocols, and Equational Reasoning
(2019)
Sylvan Pinsky
Honoring Carolyn Talcott's Contributions to Science.
Formal Modeling: Actors, Open Systems, Biological Systems
(2011)
Sylvan Pinsky
,
Edward Zieglar
Noninterference Equations for Nondeterministic Systems.
CSFW
(2001)
Marvin Schaefer
,
Sylvan Pinsky
,
Drew Dean
,
Li Gong
,
Jim Roskind
,
Barbara Fox
Ensuring Assurance in Mobile Computing.
IEEE Symposium on Security and Privacy
(1997)
Sylvan Pinsky
Absorbing covers and intransitive non-interference.
IEEE Symposium on Security and Privacy
(1995)
Sylvan Pinsky
An Algebraic Approach to Non-Interference.
CSFW
(1992)