Specification and verification of sequential machines in rule-based hardware languages by Bourgeat, Thomas

Get full text

Pensieve: Microarchitectural Modeling for Security Evaluation by Yang, Yuheng, Bourgeat, Thomas, Lau, Stella, Yan, Mengjia

Get full text

The essence of Bluespec: a core language for rule-based hardware design by Bourgeat, Thomas, Pit-Claudel, Clément, Chlipala, Adam, Arvind, Arvind

Get full text

The essence of Bluespec: a core language for rule-based hardware design by Bourgeat, Thomas, Pit-Claudel, Clement Francois, Chlipala, Adam, Arvind, Arvind

Get full text

Effective simulation and debugging for a high-level hardware language using software compilers by Pit-Claudel, Clément, Bourgeat, Thomas, Lau, Stella, Arvind, Chlipala, Adam

Get full text

Specification and Verification of Strong Timing Isolation of Hardware Enclaves by Lau, Stella, Bourgeat, Thomas, Pit-Claudel, Cl?ment, Chlipala, Adam

Get full text

CaSA: End-to-end quantitative security analysis of randomly mapped caches by Bourgeat, T, Drean, J, Yang, Y, Tsai, L, Emer, J, Yan, M

Get full text

Metior: A Comprehensive Model to Evaluate Obfuscating Side-Channel Defense Schemes by Deutsch, Peter, Na, Weon Taek, Bourgeat, Thomas, Emer, Joel, Yan, Mengjia

Get full text

RoboShape: Using Topology Patterns to Scalably and Flexibly Deploy Accelerators Across Robots by Neuman, Sabrina, Ghosal, Radhika, Bourgeat, Thomas, Plancher, Brian, Reddi, Vijay Janapa

Get full text

MI6: Secure Enclaves in a Speculative Out-of-Order Processor by Bourgeat, Thomas, Lebedev, Ilia A., Wright, Andrew D., Zhang, Sizhuo, Arvind, Devadas, Srinivas

Get full text

DAGguise: mitigating memory timing side channels by Deutsch, Peter W, Yang, Yuheng, Bourgeat, Thomas, Drean, Jules, Emer, Joel S, Yan, Mengjia

Get full text

Accelerating Robot Dynamics Gradients on a CPU, GPU, and FPGA by Plancher, Brian, Neuman, Sabrina M, Bourgeat, Thomas, Kuindersma, Scott, Devadas, Srinivas, Reddi, Vijay Janapa

Get full text

Robomorphic Computing: A Design Methodology for Domain-Specific Accelerators Parameterized by Robot Morphology by Neuman, Sabrina M., Plancher, Brian, Bourgeat, Thomas, Tambe, Thierry, Devadas, Srinivas, Reddi, Vijay Janapa

Get full text

Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) by Bourgeat, Thomas, Clester, Ian, Erbsen, Andres, Gruetter, Samuel, Singh, Pratap, Wright, Andy, Chlipala, Adam

Get full text