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.
citation-role summary
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
The authors provide a systematization of differentially private graph release methods along with an objective-based framework and two illustrative evaluations for social network analysts.
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.
citing papers explorer
-
Model checking of hyperproperties for high-level relational models
HyperPardinus extends Alloy to support specification and model checking of hyperproperties over relational design models by interfacing with low-level hyperproperty checkers.
-
SoK: Practical Aspects of Releasing Differentially Private Graphs
The authors provide a systematization of differentially private graph release methods along with an objective-based framework and two illustrative evaluations for social network analysts.
-
Application Inference using Machine Learning based Side Channel Analysis
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.