Kristopher Carver
Wilmington University
7 Papers
198 Citations
Kristopher Carver is an academic researcher from Wilmington University. The author has contributed to research in topics: Application-specific instruction-set processor & Minimal instruction set computer. The author has an hindex of 6, co-authored 7 publications.
Chat about Author
Papers
Patent
Energy-focused compiler-assisted branch prediction
Saurabh Chheda,Kristopher Carver,Raksit Ashok +2 more
- 18 Jan 2005
TL;DR: In this article, the compiler inserted information ahead of a selected branch instruction to statically expose and control how the prediction should be completed and which mechanism should be used to achieve energy and performance efficiency.
53
Patent
Security of program executables and microprocessors based on compiler-architecture interaction
Saurabh Chheda,Kristopher Carver,Raksit Ashok +2 more
- 12 Nov 2004
TL;DR: In this article, the authors propose a processor framework where an instruction is decoded during execution with the help of information provided by a previously decoded control instruction, and a method wherein instruction set encodings are randomly generated at compile time.
50
Patent
Securing microprocessors against information leakage and physical tampering
Csaba Andras Moritz,Saurabh Chheda,Kristopher Carver +2 more
- 27 Nov 2012
TL;DR: A processor system with random instruction encoding and randomized execution as discussed by the authors provides effective defense against offline and runtime security attacks including software and hardware reverse engineering, invasive microprobing, fault injection, and electromagnetic power analysis.
42
Patent
Energy-focused re-compilation of executables and hardware mechanisms based on compiler-architecture interaction and compiler-inserted control
Saurabh Chheda,Kristopher Carver,Raksit Ashok +2 more
- 14 Mar 2014
TL;DR: In this article, a compiler-injected control that statically exposes parallelism in an instruction sequence is used to reduce the energy consumption of an instruction memory system with compiler inserted control.
29
Patent
Detection and healing of vulnerabilities in computer code
Csaba Andras Moritz,Kristopher Carver,Jeffrey Gummeson +2 more
- 24 Nov 2014
TL;DR: In this paper, the authors present a process for identifying candidate code in executable code based on a static analysis of the executable code, where the candidate code includes code that is vulnerable to attack or code being on a path to attack, where information related to the attack is based, at least in part, on candidate code.
12