Organizing the world's largest hardware security competition: challenges, opportunities, and lessons learned
The recent trend of providing fast and flexible hardware platforms as-a-service coupled with
the advancements in hardware design tools have significantly reduced the effort of …
the advancements in hardware design tools have significantly reduced the effort of …
Advancements in Secure Computing: Exploring Automated Repair Debugging and Verification Techniques for Hardware Design
AA Zeraatkar, PS Kamran… - 2024 IEEE 14th Annual …, 2024 - ieeexplore.ieee.org
This paper studies the recent advancement of techniques for automating the repair and
verification of hardware designs. Challenges associated with debugging and fixing bugs in …
verification of hardware designs. Challenges associated with debugging and fixing bugs in …
Versatile binary-level concolic testing
B Chen, F **e - Handbook of Computer Architecture, 2024 - Springer
Computing systems are experiencing an explosive growth, both in complexities and
diversities, ushered in by the proliferation of cloud computing, mobile computing, and …
diversities, ushered in by the proliferation of cloud computing, mobile computing, and …
Increasing the performance of symbolic execution by compiling symbolic handling into binaries
S Poeplau - 2020 - theses.hal.science
Symbolic execution has the potential to make software more secure by significantly
improving automated vulnerability search. In this thesis, we propose a general technique …
improving automated vulnerability search. In this thesis, we propose a general technique …