A Framework for a Cryptographic Protocol Evaluation Workbench. - Alec Yasinsac; William A. Wulf (HASE, 1999)

Dynamic analysis of security protocols. - Alec Yasinsac (NSPW, 2000)

Analyzing Internet Security Protocols. - Alec Yasinsac; Justin Childs (HASE, 2001)

Modeling Protocols for Secure Group Communications in Ad Hoc Networks: (Extended Abstract). - Alec Yasinsac; James A. Davis (Security Protocols Workshop, 2002)

An Environment for Security Protocol Intrusion Detection. - Alec Yasinsac (J. Comput. Secur., 2002)

Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks. - Mike Burmester; Alec Yasinsac (Security Protocols Workshop, 2003)

Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks (Discussion). - Alec Yasinsac (Security Protocols Workshop, 2003)

Computer Forensics Education. - Alec Yasinsac; Robert F. Erbacher; Donald G. Marks; Mark Pollitt; Peter M. Sommer (IEEE Secur. Priv., 2003)

Mobile Agent Data Integrity Using Multi-agent Architecture. - Jeffrey Todd McDonald; Alec Yasinsac; Willard C. Thompson III (PDCS, 2004)

Semantic Encryption Transformation Scheme. - Willard Thompson; Alec Yasinsac; Jeffrey Todd McDonald (PDCS, 2004)

Weathering the Storm: Managing Redundancy and Security in Ad Hoc Networks. - Mike Burmester; Tri Van Le; Alec Yasinsac (ADHOC-NOW, 2004)

Dynamic Probabilistic Retransmission in Ad Hoc Networks. - Donald J. Scott; Alec Yasinsac (International Conference on Wireless Networks, 2004)

Accountable Privacy. - Mike Burmester; Yvo Desmedt; Rebecca N. Wright; Alec Yasinsac (Security Protocols Workshop, 2004)

Metadata for Anomaly-Based Security Protocol Attack Deduction. - Tysen Leckie; Alec Yasinsac (IEEE Trans. Knowl. Data Eng., 2004)

Of unicorns and random programs. - Alec Yasinsac; Jeffrey Todd McDonald (Communications and Computer Networks, 2005)

Peer identification in wireless and sensor networks using signal properties. - Tina Suen; Alec Yasinsac (MASS, 2005)

Community-Centric Vanilla-Rollback Access, or: How I Stopped Worrying and Learned to Love My Computer. - Mike Burmester; Breno de Medeiros; Alec Yasinsac (Security Protocols Workshop, 2005)

Application Security Models for Mobile Agent Systems. - Jeffrey Todd McDonald; Alec Yasinsac (STM, 2005)

Centers of Academic Excellence: A Case Study. - Alec Yasinsac; Mike Burmester (IEEE Secur. Priv., 2005)

Formal analysis of modern security protocols. - Alec Yasinsac; Justin Childs (Inf. Sci., 2005)

Foundations for Security Aware Software Development Education. - Alec Yasinsac; Jeffrey Todd McDonald (HICSS, 2006)

On the Credibility of Manet Simulations. - Todd R. Andel; Alec Yasinsac (Computer, 2006)

Applications for Provably Secure Intent Protection with Bounded Input-Size Programs. - Jeffrey Todd McDonald; Alec Yasinsac (ARES, 2007)

Towards Working with Small Atomic Functions - (Transcript of Discussion). - Alec Yasinsac (Security Protocols Workshop, 2007)

Towards Working with Small Atomic Functions. - Alec Yasinsac; Jeffrey Todd McDonald (Security Protocols Workshop, 2007)

Adaptive gossip protocols: Managing security and redundancy in dense ad hoc networks. - Mike Burmester; Tri Van Le; Alec Yasinsac (Ad Hoc Networks, 2007)

Surveying security analysis techniques in MANET routing protocols. - Todd R. Andel; Alec Yasinsac (IEEE Commun. Surv. Tutorials, 2007)

Adaptive Threat Modeling for Secure Ad Hoc Routing Protocols. - Todd R. Andel; Alec Yasinsac (STM@ESORICS, 2007)

Of Paper Trails and Voter Receipts. - Alec Yasinsac; Matt Bishop (HICSS, 2008)

Automated Evaluation of Secure Route Discovery in MANET Protocols. - Todd R. Andel; Alec Yasinsac (SPIN, 2008)

The Dynamics of Counting and Recounting Votes. - Alec Yasinsac; Matt Bishop (IEEE Secur. Priv., 2008)

Tamper Resistant Software Through Intent Protection. - Alec Yasinsac; Jeffrey Todd McDonald (Int. J. Netw. Secur., 2008)

Vote Selling, Voter Anonymity, and Forensic Logging of Electronic Voting Machines. - Sean Peisert; Matt Bishop; Alec Yasinsac (HICSS, 2009)

A Risk Assessment Model for Voting Systems using Threat Trees and Monte Carlo Simulation. - John Harold Pardue; Jeffrey P. Landry; Alec Yasinsac (REVOTE, 2009)

Towards Internet voting security: A threat tree for risk assessment. - John Harold Pardue; Alec Yasinsac; Jeffrey P. Landry (CRiSIS, 2010)

Knowledge Sharing and Reuse in Digital Forensics. - Jingshan Huang; Alec Yasinsac; Patrick J. Hayes (SADFE, 2010)

Insider-free systems. - Alec Yasinsac; Jonathan Alawine (CSIIRW, 2011)

E-Voting Risk Assessment: A Threat Tree for Direct Recording Electronic Systems. - John Harold Pardue; Jeffrey P. Landry; Alec Yasinsac (Int. J. Inf. Secur. Priv., 2011)

Automating the security analysis process of secure ad hoc routing protocols. - Todd R. Andel; Greg Back; Alec Yasinsac (Simul. Model. Pract. Theory, 2011)

Secure Internet Voting Protocol for Overseas Military Voters. - Todd R. Andel; Alec Yasinsac (Security Protocols Workshop, 2012)

Realities of E-voting Security. - Michael Ian Shamos; Alec Yasinsac (IEEE Secur. Priv., 2012)

Precision in elections - Extracting a precise result from an inherently imprecise process. - Alec Yasinsac (Int. J. Crit. Infrastructure Prot., 2012)

A Model for Managing System Insiders. - Alec Yasinsac (HICSS, 2013)

Independent Computations for Safe Remote Electronic Voting. - Alec Yasinsac (Security Protocols Workshop, 2013)

Independent Computations for Safe Remote Electronic Voting (Transcript of Discussion). - Alec Yasinsac (Security Protocols Workshop, 2013)

Help! Is There a Trustworthy-Systems Doctor in the House? - Alec Yasinsac; Cynthia E. Irvine (IEEE Secur. Priv., 2013)

Intellectual Property Protection in Additive Layer Manufacturing: Requirements for Secure Outsourcing. - Mark Yampolskiy; Todd R. Andel; Jeffrey Todd McDonald; William Bradley Glisson; Alec Yasinsac (PPREW@ACSAC, 2014)

Security Challenges of Additive Manufacturing with Metals and Alloys. - Mark Yampolskiy; Lena Schutzle; Uday Vaidya; Alec Yasinsac (Critical Infrastructure Protection, 2015)

Next Generation Aircraft Architecture and Digital Forensic. - Dustin Mink; Alec Yasinsac; Kim-Kwang Raymond Choo; William Bradley Glisson (AMCIS, 2016)

Towards Security of Additive Layer Manufacturing. - Mark Yampolskiy; Todd R. Andel; Jeffrey Todd McDonald; William Bradley Glisson; Alec Yasinsac (CoRR, 2016)

Using 3D printers as weapons. - Mark Yampolskiy; Anthony Skjellum; Michael Kretzschmar; Ruel A. Overfelt; Kenneth R. Sloan; Alec Yasinsac (Int. J. Crit. Infrastructure Prot., 2016)

Attacking the Diebold Signature Variant - RSA Signatures with Unverified High-order Padding. - Ryan W. Gardner; Tadayoshi Kohno; Alec Yasinsac (CoRR, 2024)