%0 Conference Paper %1 conf/isqed/ZapataSZ24 %A Zapata, Miguel Angel Alfaro %A Shahshahani, Amirhossein %A Zilic, Zeljko %B ISQED %D 2024 %I IEEE %K dblp %P 1-6 %T Automated Assertion Checker Generator and Information Flow Tracking for Security Verification. %U http://dblp.uni-trier.de/db/conf/isqed/isqed2024.html#ZapataSZ24 %@ 979-8-3503-0927-0

@inproceedings{conf/isqed/ZapataSZ24, added-at = {2024-06-05T00:00:00.000+0200}, author = {Zapata, Miguel Angel Alfaro and Shahshahani, Amirhossein and Zilic, Zeljko}, biburl = {https://www.bibsonomy.org/bibtex/2b2b1ac1eb1611dfd2981343235094ff1/dblp}, booktitle = {ISQED}, crossref = {conf/isqed/2024}, ee = {https://doi.org/10.1109/ISQED60706.2024.10528770}, interhash = {eef79ee248e01ee4b983c7cd549f7d88}, intrahash = {b2b1ac1eb1611dfd2981343235094ff1}, isbn = {979-8-3503-0927-0}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-06-10T07:16:15.000+0200}, title = {Automated Assertion Checker Generator and Information Flow Tracking for Security Verification.}, url = {http://dblp.uni-trier.de/db/conf/isqed/isqed2024.html#ZapataSZ24}, year = 2024 }