Frank Imeson

According to our database, Frank Imeson authored at least 7 papers between 2013 and 2018.

Collaborative distances:

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

2018

Robotic Path Planning for High-Level Tasks in Discrete Environments.

Frank Imeson

PhD thesis, 2018

2017

The Need for Declarative Properties in Digital IC Security.

Mohamed El Massad, Frank Imeson, Siddharth Garg, Mahesh Tripunitara

Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

Clustering in discrete path planning for approximating minimum length paths.

Frank Imeson, Stephen L. Smith

Proceedings of the 2017 American Control Conference, 2017

2016

Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way).

Frank Imeson, Saeed Nejati, Siddharth Garg, Mahesh V. Tripunitara

Proceedings of the 10th USENIX Workshop on Offensive Technologies, 2016

2015

Multi-robot task planning and sequencing using the SAT-TSP language.

Frank Imeson, Stephen L. Smith

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014

A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints.

Frank Imeson, Stephen L. Smith

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation.

Frank Imeson, Ariq Emtenan, Siddharth Garg, Mahesh V. Tripunitara

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013