%0 Conference Paper %1 conf/ndss/ChauYCKL19 %A Chau, Sze Yiu %A Yahyazadeh, Moosa %A Chowdhury, Omar %A Kate, Aniket %A Li, Ninghui %B NDSS %D 2019 %I The Internet Society %K dblp %T Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification. %U http://dblp.uni-trier.de/db/conf/ndss/ndss2019.html#ChauYCKL19 %@ 1-891562-55-X

@inproceedings{conf/ndss/ChauYCKL19, added-at = {2021-02-01T00:00:00.000+0100}, author = {Chau, Sze Yiu and Yahyazadeh, Moosa and Chowdhury, Omar and Kate, Aniket and Li, Ninghui}, biburl = {https://www.bibsonomy.org/bibtex/2d7c31d8365149f3585a12d706b24d12c/dblp}, booktitle = {NDSS}, crossref = {conf/ndss/2019}, ee = {https://www.ndss-symposium.org/ndss-paper/analyzing-semantic-correctness-with-symbolic-execution-a-case-study-on-pkcs1-v1-5-signature-verification/}, interhash = {27ac8918f95bd2bdd15918b7560f4bf5}, intrahash = {d7c31d8365149f3585a12d706b24d12c}, isbn = {1-891562-55-X}, keywords = {dblp}, publisher = {The Internet Society}, timestamp = {2024-04-09T15:57:58.000+0200}, title = {Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification.}, url = {http://dblp.uni-trier.de/db/conf/ndss/ndss2019.html#ChauYCKL19}, year = 2019 }