Follow
Frank Imeson
Frank Imeson
Verified email at uwaterloo.ca
Title
Cited by
Cited by
Year
Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation
F Imeson, A Emtenan, S Garg, MV Tripunitara
22nd USENIX Security Symposium, 495-510, 2013
2612013
GLNS: An effective large neighborhood search heuristic for the generalized traveling salesman problem
SL Smith, F Imeson
Computers & Operations Research 87, 1-19, 2017
1732017
An SMT-based approach to motion planning for multiple robots with complex constraints
F Imeson, SL Smith
IEEE Transactions on Robotics 35 (3), 669-684, 2019
262019
Multi-robot task planning and sequencing using the SAT-TSP language
F Imeson, SL Smith
2015 IEEE International Conference on Robotics and Automation (ICRA), 5397-5402, 2015
212015
A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints
F Imeson, SL Smith
2014 IEEE International Conference on Robotics and Automation (ICRA), 5772-5777, 2014
202014
Optimal partitioning of non-convex environments for minimum turn coverage planning
M Ramesh, F Imeson, B Fidan, SL Smith
IEEE Robotics and Automation Letters 7 (4), 9731-9738, 2022
142022
{Non-Deterministic} Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way)
F Imeson, S Nejati, S Garg, M Tripunitara
10th USENIX Workshop on Offensive Technologies (WOOT 16), 2016
72016
Securing computer hardware using 3D integrated circuit (IC) technology and split manufacturing for obfuscation, in Proceedings of the 22nd USENIX Security Symposium
F Imeson, A Emtenan, S Garg, MV Tripunitara
USENIX Association, 2013
52013
Robotic path planning for high-level tasks in discrete environments
F Imeson
University of Waterloo, 2018
32018
Clustering in discrete path planning for approximating minimum length paths
F Imeson, SL Smith
2017 American Control Conference (ACC), 2968-2973, 2017
32017
Anytime Replanning of Robot Coverage Paths for Partially Unknown Environments
M Ramesh, F Imeson, B Fidan, SL Smith
IEEE Transactions on Robotics, 2024
12024
Approximate Environment Decompositions for Robot Coverage Planning using Submodular Set Cover
M Ramesh, F Imeson, B Fidan, SL Smith
arXiv preprint arXiv:2409.03120, 2024
2024
The Need for Declarative Properties in Digital IC Security
M El Massad, F Imeson, S Garg, M Tripunitara
Proceedings of the on Great Lakes Symposium on VLSI 2017, 333-338, 2017
2017
Sec’13: 22nd USENIX Security Symposium
X Ge, F Imeson, MN Bhushan Jain, R Pandita, J Scire, M Wählisch, ...
2013
An Attack and a Defence in the Context of Hardware Security
F Imeson
University of Waterloo, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–15