Login / Signup
Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits.
Kushal K. Ponugoti
Sudarshan K. Srinivasan
Nimish Mathure
Published in:
ICECS (2021)
Keyphrases
</>
formal verification
dos attacks
denial of service
model checking
network security
bounded model checking
lightweight
symbolic model checking
model checker
program slicing
denial of service attacks
automated verification
ddos attacks
information systems
data processing
temporal logic