When TLS Meets Proxy on Mobile

von Debnath, Joyanta
Veröffentlicht in ACNS (18. : 2020 : Online) Applied cryptography and network security ; Part 2 (2020)

ANALYZING SEMANTIC CORRECTNESS WITH SYMBOLIC EXECUTION: A CASE STUDY ON PKCS#1 V1.5 SIGNATURE VERIFICATION

von Chau, Sze Yiu
Veröffentlicht in Network and Distributed System Security Symposium (26. : 2019 : San Diego, Calif.) Network and Distributed System Security Symposium 2019 ; Volume 1 of 2 (2020)