Runtime Verification of Crypto APIs: An Empirical Study-Reference-Cited by-同舟云学术

Runtime Verification of Crypto APIs: An Empirical Study

Published:2023-10-01 Issue:10 Volume:49 Page:4510-4525
ISSN:0098-5589
Container-title:IEEE Transactions on Software Engineering
language:
Short-container-title:IIEEE Trans. Software Eng.

Author:

Torres Adriano¹^ORCID,Costa Pedro¹^ORCID,Amaral Luis¹^ORCID,Pastro Jonata¹^ORCID,Bonifácio Rodrigo¹^ORCID,d'Amorim Marcelo²^ORCID,Legunsen Owolabi³^ORCID,Bodden Eric⁴^ORCID,Dias Canedo Edna¹^ORCID

Affiliation:

1. Computer Science Department, University of Brasília, Brasília, Brazil

2. Department of Computer Science, North Carolina State University, Raleigh, NC, USA

3. Department of Computer Science, Cornell University, Ithaca, NY, USA

4. Paderborn University and the Fraunhofer Institute for Mechatronic Systems Design, Paderborn, Germany

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Software

Link

http://xplorestaging.ieee.org/ielx7/32/10286436/10225251.pdf?arnumber=10225251

Reference84 articles.

1. Prioritizing Runtime Verification Violations

2. Testing configuration changes in context to prevent production failures;sun;Proc 14th USENIX Symp Oper Syst Des Implementation (OSDI 20),2020

3. How effective are existing Java API specifications for finding bugs during runtime verification?

4. RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties

5. RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analysis of Cryptographic CVEs: Lessons Learned and Perspectives;Lecture Notes in Computer Science;2024