Formally Verified Cryptographic Web Applications in WebAssembly
Engineers explore architecture and security mechanisms for Formally Verified Cryptographic Web Applications in WebAssembly.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·15 min
Security researchers examine technical aspects of Runtime Recovery of Web Applications under Zero-Day ReDoS Attacks.
webzero-dayruntime+2
IEEE Symposium on Security and Privacy·20 min
Browser Extensions
Security researchers examine technical aspects of EmPoWeb: Empowering Web Applications with Browser Extensions.
webbrowser-extensionsempoweb+3
IEEE Symposium on Security and Privacy·21 min
Security researchers examine technical aspects of Verena: End-to-End Integrity Protection for Web Applications.
webverenaend-to-end+3