Alec Yasinsac

CoRR, 2024

2016

Using 3D printers as weapons.

[BibT_eX]

[DOI]

Int. J. Crit. Infrastructure Prot., 2016

Towards Security of Additive Layer Manufacturing.

[BibT_eX]

[DOI]

Mark Yampolskiy

William Bradley Glisson

CoRR, 2016

Next Generation Aircraft Architecture and Digital Forensic.

[BibT_eX]

[DOI]

Dustin Mink

Kim-Kwang Raymond Choo

William Bradley Glisson

Proceedings of the 22nd Americas Conference on Information Systems, 2016

2015

Security Challenges of Additive Manufacturing with Metals and Alloys.

[BibT_eX]

[DOI]

Proceedings of the Critical Infrastructure Protection IX, 2015

2014

Intellectual Property Protection in Additive Layer Manufacturing: Requirements for Secure Outsourcing.

[BibT_eX]

[DOI]

Mark Yampolskiy

William Bradley Glisson

Proceedings of the 4th Program Protection and Reverse Engineering Workshop, 2014

2013

Help! Is There a Trustworthy-Systems Doctor in the House?

[BibT_eX]

[DOI]

Cynthia E. Irvine

IEEE Secur. Priv., 2013

Independent Computations for Safe Remote Electronic Voting (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXI, 2013

Independent Computations for Safe Remote Electronic Voting.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXI, 2013

A Model for Managing System Insiders.

[BibT_eX]

[DOI]

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

2012

Precision in elections - Extracting a precise result from an inherently imprecise process.

[BibT_eX]

[DOI]

Int. J. Crit. Infrastructure Prot., 2012

Realities of E-voting Security.

[BibT_eX]

[DOI]

Michael Ian Shamos

IEEE Secur. Priv., 2012

Secure Internet Voting Protocol for Overseas Military Voters.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XX, 2012

2011

Automating the security analysis process of secure ad hoc routing protocols.

[BibT_eX]

[DOI]

Greg Back

Simul. Model. Pract. Theory, 2011

E-Voting Risk Assessment: A Threat Tree for Direct Recording Electronic Systems.

[BibT_eX]

[DOI]

John Harold Pardue

Jeffrey P. Landry

Int. J. Inf. Secur. Priv., 2011

Insider-free systems.

[BibT_eX]

[DOI]

Jonathan Alawine

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

2010

Knowledge Sharing and Reuse in Digital Forensics.

[BibT_eX]

[DOI]

Jingshan Huang

Patrick J. Hayes

Proceedings of the Fifth IEEE International Workshop on Systematic Approaches to Digital Forensic Engineering, 2010

Towards Internet voting security: A threat tree for risk assessment.

[BibT_eX]

[DOI]

John Harold Pardue

Jeffrey P. Landry

Proceedings of the CRiSIS 2010, 2010

2009

A Risk Assessment Model for Voting Systems using Threat Trees and Monte Carlo Simulation.

[BibT_eX]

[DOI]

John Harold Pardue

Jeffrey P. Landry

Proceedings of the First International Workshop on Requirements Engineering for e-Voting Systems, 2009

Vote Selling, Voter Anonymity, and Forensic Logging of Electronic Voting Machines.

[BibT_eX]

[DOI]

Sean Peisert

Matt Bishop

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

Tamper Resistant Software Through Intent Protection.

[BibT_eX]

[DOI]

Int. J. Netw. Secur., 2008

The Dynamics of Counting and Recounting Votes.

[BibT_eX]

[DOI]

Matt Bishop

IEEE Secur. Priv., 2008

Automated Evaluation of Secure Route Discovery in MANET Protocols.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2008

Of Paper Trails and Voter Receipts.

[BibT_eX]

[DOI]

Matt Bishop

Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

2007

Adaptive Threat Modeling for Secure Ad Hoc Routing Protocols.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Security and Trust Management, 2007

Surveying security analysis techniques in MANET routing protocols.

[BibT_eX]

[DOI]

IEEE Commun. Surv. Tutorials, 2007

Adaptive gossip protocols: Managing security and redundancy in dense ad hoc networks.

[BibT_eX]

[DOI]

Tri Van Le

Ad Hoc Networks, 2007

Towards Working with Small Atomic Functions.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2007

Towards Working with Small Atomic Functions - (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2007

Applications for Provably Secure Intent Protection with Bounded Input-Size Programs.

[BibT_eX]

[DOI]

Proceedings of the The Second International Conference on Availability, 2007

2006

On the Credibility of Manet Simulations.

[BibT_eX]

[DOI]

Computer, 2006

Foundations for Security Aware Software Development Education.

[BibT_eX]

[DOI]

Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

2005

Formal analysis of modern security protocols.

[BibT_eX]

[DOI]

Justin Childs

Inf. Sci., 2005

Centers of Academic Excellence: A Case Study.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2005

Application Security Models for Mobile Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Security and Trust Management, 2005

Community-Centric Vanilla-Rollback Access, or: How I Stopped Worrying and Learned to Love My Computer.

[BibT_eX]

[DOI]

Breno de Medeiros

Proceedings of the Security Protocols, 2005

Peer identification in wireless and sensor networks using signal properties.

[BibT_eX]

[DOI]

Tina Suen

Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005

Of unicorns and random programs.

[BibT_eX]

Proceedings of the Third IASTED International Conference on Communications and Computer Networks, 2005

2004

Metadata for Anomaly-Based Security Protocol Attack Deduction.

[BibT_eX]

[DOI]

Tysen Leckie

IEEE Trans. Knowl. Data Eng., 2004

Accountable Privacy.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2004

Dynamic Probabilistic Retransmission in Ad Hoc Networks.

[BibT_eX]

Donald J. Scott

Proceedings of the International Conference on Wireless Networks, 2004

Weathering the Storm: Managing Redundancy and Security in Ad Hoc Networks.

[BibT_eX]

[DOI]

Tri Van Le

Proceedings of the Ad-Hoc, Mobile, and Wireless Networks: Third International Conference, 2004

Semantic Encryption Transformation Scheme.

[BibT_eX]

Willard Thompson

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

Mobile Agent Data Integrity Using Multi-agent Architecture.

[BibT_eX]

Willard C. Thompson III

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2003

Computer Forensics Education.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2003

Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks (Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2003

Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2003

2002

An Environment for Security Protocol Intrusion Detection.

[BibT_eX]

[DOI]

J. Comput. Secur., 2002

Modeling Protocols for Secure Group Communications in Ad Hoc Networks: (Extended Abstract).

[BibT_eX]

[DOI]

James A. Davis

Proceedings of the Security Protocols, 2002

2001

Analyzing Internet Security Protocols.

[BibT_eX]

[DOI]

Justin Childs

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

2000

Dynamic analysis of security protocols.

[BibT_eX]

[DOI]

Proceedings of the 2000 Workshop on New Security Paradigms, 2000

1999

A Framework for a Cryptographic Protocol Evaluation Workbench.

[BibT_eX]

[DOI]