IEEE Security & Privacy 2021 Session 4 (Talk Previews)
8 videos • 130 views • by IEEE Symposium on Security and Privacy
1
DIANE: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices
IEEE Symposium on Security and Privacy
Download
2
Data Privacy in Trigger-Action IoT Systems
IEEE Symposium on Security and Privacy
Download
3
Which Privacy and Security Attributes Most Impact Consumers' Risk Perception and Willingness to ...
IEEE Symposium on Security and Privacy
Download
4
An Interactive Prover for Protocol Verification in the Computational Model
IEEE Symposium on Security and Privacy
Download
5
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
IEEE Symposium on Security and Privacy
Download
6
An I/O Separation Model for Formal Verification of Kernel Implementations
IEEE Symposium on Security and Privacy
Download
7
Diogenes: Lightweight Scalable RSA Modulus Generation with a Dishonest Majority
IEEE Symposium on Security and Privacy
Download
8
Proactive Threshold Wallets with Offline Devices
IEEE Symposium on Security and Privacy
Download