49 citations · 58 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh +1
Cyber-physical systems are often safety-critical in that violations of safety properties may lead to catastrophes. We propose a method to enforce the safety of systems with real-va…
cs.CR2019★ 3 cited
Mitigating Power Side Channels during Compilation
Jingbo Wang, Chungha Sung, Chao Wang
The code generation modules inside modern compilers such as GCC and LLVM, which use a limited number of CPU registers to store a large number of program variables, may introduce si…