HyperPardinus extends Alloy to support specification and model checking of hyperproperties over relational design models by interfacing with low-level hyperproperty checkers.
Watch me, but don’t touch me! contactless control flow monitoring via electromagnetic emanations
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
Supervised ML on EM side-channel data and cpufreq DVFS states identifies known applications and flags unknown ones with at least 85% accuracy on Snapdragon 820 ARMv8 hardware.