Alec Yasinsac

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 5

Top Topics

Imaging Devices

Intellectual Property Protection

Manufacturing Processes

Top Venues

Int. J. Crit. Infrastructure Prot.

Publications

Ryan W. Gardner, Tadayoshi Kohno, Alec Yasinsac
Attacking the Diebold Signature Variant - RSA Signatures with Unverified High-order Padding. CoRR (2024)
Mark Yampolskiy, Anthony Skjellum, Michael Kretzschmar, Ruel A. Overfelt, Kenneth R. Sloan, Alec Yasinsac
Using 3D printers as weapons. Int. J. Crit. Infrastructure Prot. 14 (2016)
Dustin Mink, Alec Yasinsac, Kim-Kwang Raymond Choo, William Bradley Glisson
Next Generation Aircraft Architecture and Digital Forensic. AMCIS (2016)
Mark Yampolskiy, Todd R. Andel, Jeffrey Todd McDonald, William Bradley Glisson, Alec Yasinsac
Towards Security of Additive Layer Manufacturing. CoRR (2016)
Mark Yampolskiy, Lena Schutzle, Uday Vaidya, Alec Yasinsac
Security Challenges of Additive Manufacturing with Metals and Alloys. Critical Infrastructure Protection (2015)
Mark Yampolskiy, Todd R. Andel, Jeffrey Todd McDonald, William Bradley Glisson, Alec Yasinsac
Intellectual Property Protection in Additive Layer Manufacturing: Requirements for Secure Outsourcing. PPREW@ACSAC (2014)
Alec Yasinsac
Independent Computations for Safe Remote Electronic Voting. Security Protocols Workshop (2013)
Alec Yasinsac
A Model for Managing System Insiders. HICSS (2013)
Alec Yasinsac, Cynthia E. Irvine
Help! Is There a Trustworthy-Systems Doctor in the House? IEEE Secur. Priv. 11 (1) (2013)
Alec Yasinsac
Independent Computations for Safe Remote Electronic Voting (Transcript of Discussion). Security Protocols Workshop (2013)
Alec Yasinsac
Precision in elections - Extracting a precise result from an inherently imprecise process. Int. J. Crit. Infrastructure Prot. 5 (3-4) (2012)
Todd R. Andel, Alec Yasinsac
Secure Internet Voting Protocol for Overseas Military Voters. Security Protocols Workshop (2012)
Michael Ian Shamos, Alec Yasinsac
Realities of E-voting Security. IEEE Secur. Priv. 10 (5) (2012)
John Harold Pardue, Jeffrey P. Landry, Alec Yasinsac
E-Voting Risk Assessment: A Threat Tree for Direct Recording Electronic Systems. Int. J. Inf. Secur. Priv. 5 (3) (2011)
Alec Yasinsac, Jonathan Alawine
Insider-free systems. CSIIRW (2011)
Todd R. Andel, G. Back, Alec Yasinsac
Automating the security analysis process of secure ad hoc routing protocols. Simul. Model. Pract. Theory 19 (9) (2011)
John Harold Pardue, Alec Yasinsac, Jeffrey P. Landry
Towards Internet voting security: A threat tree for risk assessment. CRiSIS (2010)
Jingshan Huang, Alec Yasinsac, Patrick J. Hayes
Knowledge Sharing and Reuse in Digital Forensics. SADFE (2010)
John Harold Pardue, Jeffrey P. Landry, Alec Yasinsac
A Risk Assessment Model for Voting Systems using Threat Trees and Monte Carlo Simulation. REVOTE (2009)
Sean Peisert, Matt Bishop, Alec Yasinsac
Vote Selling, Voter Anonymity, and Forensic Logging of Electronic Voting Machines. HICSS (2009)
Todd R. Andel, Alec Yasinsac
Adaptive Threat Modeling for Secure Ad Hoc Routing Protocols. Electron. Notes Theor. Comput. Sci. 197 (2) (2008)
Alec Yasinsac, Matt Bishop
The Dynamics of Counting and Recounting Votes. IEEE Secur. Priv. 6 (3) (2008)
Alec Yasinsac, Jeffrey Todd McDonald
Tamper Resistant Software Through Intent Protection. Int. J. Netw. Secur. 7 (3) (2008)
Alec Yasinsac, Matt Bishop
Of Paper Trails and Voter Receipts. HICSS (2008)
Todd R. Andel, Alec Yasinsac
Automated Evaluation of Secure Route Discovery in MANET Protocols. SPIN (2008)
Mike Burmester, Tri Van Le, Alec Yasinsac
Adaptive gossip protocols: Managing security and redundancy in dense ad hoc networks. Ad Hoc Networks 5 (3) (2007)
Alec Yasinsac, Jeffrey Todd McDonald
Towards Working with Small Atomic Functions. Security Protocols Workshop (2007)
Alec Yasinsac
Towards Working with Small Atomic Functions - (Transcript of Discussion). Security Protocols Workshop (2007)
Todd R. Andel, Alec Yasinsac
Surveying security analysis techniques in MANET routing protocols. IEEE Commun. Surv. Tutorials 9 (1-4) (2007)
Jeffrey Todd McDonald, Alec Yasinsac
Applications for Provably Secure Intent Protection with Bounded Input-Size Programs. ARES (2007)
Todd R. Andel, Alec Yasinsac
On the Credibility of Manet Simulations. Computer 39 (7) (2006)
Alec Yasinsac, Jeffrey Todd McDonald
Foundations for Security Aware Software Development Education. HICSS (2006)
Jeffrey Todd McDonald, Alec Yasinsac
Application Security Models for Mobile Agent Systems. Electron. Notes Theor. Comput. Sci. 157 (3) (2006)
Alec Yasinsac, Jeffrey Todd McDonald
Of unicorns and random programs. Communications and Computer Networks (2005)
Tina Suen, Alec Yasinsac
Peer identification in wireless and sensor networks using signal properties. MASS (2005)
Mike Burmester, Breno de Medeiros, Alec Yasinsac
Community-Centric Vanilla-Rollback Access, or: How I Stopped Worrying and Learned to Love My Computer. Security Protocols Workshop (2005)
Alec Yasinsac, Justin Childs
Formal analysis of modern security protocols. Inf. Sci. 171 (1-3) (2005)
Alec Yasinsac, Mike Burmester
Centers of Academic Excellence: A Case Study. IEEE Secur. Priv. 3 (1) (2005)
Tysen Leckie, Alec Yasinsac
Metadata for Anomaly-Based Security Protocol Attack Deduction. IEEE Trans. Knowl. Data Eng. 16 (9) (2004)
Donald J. Scott, Alec Yasinsac
Dynamic Probabilistic Retransmission in Ad Hoc Networks. International Conference on Wireless Networks (2004)
Mike Burmester, Yvo Desmedt, Rebecca N. Wright, Alec Yasinsac
Accountable Privacy. Security Protocols Workshop (2004)
Willard Thompson, Alec Yasinsac, Jeffrey Todd McDonald
Semantic Encryption Transformation Scheme. PDCS (2004)
Jeffrey Todd McDonald, Alec Yasinsac, Willard C. Thompson III
Mobile Agent Data Integrity Using Multi-agent Architecture. PDCS (2004)
Mike Burmester, Tri Van Le, Alec Yasinsac
Weathering the Storm: Managing Redundancy and Security in Ad Hoc Networks. ADHOC-NOW (2004)
Mike Burmester, Alec Yasinsac
Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks. Security Protocols Workshop (2003)
Alec Yasinsac
Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks (Discussion). Security Protocols Workshop (2003)
Alec Yasinsac, Robert F. Erbacher, Donald G. Marks, Mark Pollitt, Peter M. Sommer
Computer Forensics Education. IEEE Secur. Priv. 1 (4) (2003)
Alec Yasinsac
An Environment for Security Protocol Intrusion Detection. J. Comput. Secur. 10 (1/2) (2002)
Alec Yasinsac, James A. Davis
Modeling Protocols for Secure Group Communications in Ad Hoc Networks: (Extended Abstract). Security Protocols Workshop (2002)
Alec Yasinsac, Justin Childs
Analyzing Internet Security Protocols. HASE (2001)
Alec Yasinsac
Dynamic analysis of security protocols. NSPW (2000)
Alec Yasinsac, William A. Wulf
A Framework for a Cryptographic Protocol Evaluation Workbench. HASE (1999)