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
1772013
GLNS: An effective large neighborhood search heuristic for the generalized traveling salesman problem
SL Smith, F Imeson
Computers & Operations Research 87, 1-19, 2017
582017
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
162015
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
162014
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
52019
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
42016
Clustering in discrete path planning for approximating minimum length paths
F Imeson, SL Smith
2017 American Control Conference (ACC), 2968-2973, 2017
22017
Robotic path planning for high-level tasks in discrete environments
F Imeson
University of Waterloo, 2018
12018
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–11