Modeling Terrain Impact on MANET Connectivity. - Lance Joneckis; Corinne Kramer; David Sparrow; David Tate (MILCOM, 2014)

Network Size and Connectivity in Mobile and Stationary Ad Hoc Networks. - Lance Joneckis; Corinne Kramer; David Sparrow; David Tate (MILCOM, 2014)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation. - Arthur Amorim; Trevor Kann; Max Taylor; Lance Joneckis (ACSAC Workshops, 2024)

Enforcing MAVLink Safety & Security Properties via Refined Multiparty Session Types. - Arthur Amorim; Max Taylor; Trevor Kann; William L. Harrison; Gary T. Leavens; Lance Joneckis (NFM, 2025)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types. - Arthur Amorim; Max Taylor; Gary T. Leavens; Bill Harrison; Lance Joneckis; Trevor Kann (CoRR, 2025)

UAV Resilience Against Stealthy Attacks. - Arthur Amorim; Max Taylor; Trevor Kann; Gary T. Leavens; William L. Harrison; Lance Joneckis (CoRR, 2025)