Frank Imeson
Frank Imeson
Dirección de correo verificada de uwaterloo.ca
Título
Citado por
Citado por
Año
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
1832013
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–11