%0 Conference Paper %1 conf/fase/YuCBM24 %A Yu, Geunyeol %A Chae, Seunghyun %A Bae, Kyungmin %A Moon, Sungkun %B FASE %D 2024 %E Beyer, Dirk %E Cavalcanti, Ana %I Springer %K dblp %P 101-121 %T Formal Specification of Trusted Execution Environment APIs. %U http://dblp.uni-trier.de/db/conf/fase/fase2024.html#YuCBM24 %V 14573 %@ 978-3-031-57259-3

@inproceedings{conf/fase/YuCBM24, added-at = {2024-06-08T00:00:00.000+0200}, author = {Yu, Geunyeol and Chae, Seunghyun and Bae, Kyungmin and Moon, Sungkun}, biburl = {https://www.bibsonomy.org/bibtex/2c47e19db11dfd523226dbf4a3413b497/dblp}, booktitle = {FASE}, crossref = {conf/fase/2024}, editor = {Beyer, Dirk and Cavalcanti, Ana}, ee = {https://doi.org/10.1007/978-3-031-57259-3_5}, interhash = {cac3a372bfb7f66e70c02010980ba09a}, intrahash = {c47e19db11dfd523226dbf4a3413b497}, isbn = {978-3-031-57259-3}, keywords = {dblp}, pages = {101-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:44:08.000+0200}, title = {Formal Specification of Trusted Execution Environment APIs.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2024.html#YuCBM24}, volume = 14573, year = 2024 }