Lance Joneckis

According to our database, Lance Joneckis authored at least 6 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2025

UAV Resilience Against Stealthy Attacks.

Arthur Amorim, Max Taylor, Trevor Kann, Gary T. Leavens, William L. Harrison, Lance Joneckis

CoRR, March, 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, January, 2025

Enforcing MAVLink Safety & Security Properties via Refined Multiparty Session Types.

Arthur Amorim, Max Taylor, Trevor Kann, William L. Harrison, Gary T. Leavens, Lance Joneckis

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

2024

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation.

Arthur Amorim, Trevor Kann, Max Taylor, Lance Joneckis

Proceedings of the Annual Computer Security Applications Conference, 2024

2014

Network Size and Connectivity in Mobile and Stationary Ad Hoc Networks.

Lance Joneckis, Corinne Kramer, David Sparrow, David Tate

Proceedings of the 2014 IEEE Military Communications Conference, 2014

Modeling Terrain Impact on MANET Connectivity.

Lance Joneckis, Corinne Kramer, David Sparrow, David Tate

Proceedings of the 2014 IEEE Military Communications Conference, 2014