An Algebraic Approach to Non-Interference. - Sylvan Pinsky (CSFW, 1992)

Absorbing covers and intransitive non-interference. - Sylvan Pinsky (S&P, 1995)

Ensuring Assurance in Mobile Computing. - Marvin Schaefer; Sylvan Pinsky; Drew Dean; Li Gong; Jim Roskind; Barbara Fox (S&P, 1997)

Noninterference Equations for Nondeterministic Systems. - Sylvan Pinsky; Edward Zieglar (CSFW, 2001)

Honoring Carolyn Talcott's Contributions to Science. - Sylvan Pinsky (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Cathy Meadows: A Central Figure in Protocol Analysis. - Sylvan Pinsky (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Joshua Guttman: Pioneering Strand Spaces. - Sylvan Pinsky (Protocols, Strands, and Logic, 2021)