Ferreira, João F.
- SmartBugs: A Framework to Analyze Solidity Smart Contracts
2020/07/08 by João F. Ferreira, Ferreira, João F., Pedro E. D. Cruz +4 · 7 citations
Computer Science · #Adversarial Robustness in Machine Learning #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE)
- Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
2024/12/18 by Kyle Thompson, Nuno Saavedra, Thompson, Kyle +16 · 2 voices · 12 citations
Computer Science · #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques #cs.AI #cs.SE
- GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
2022/05/28 by Nuno Saavedra, João F. Ferreira, Saavedra, Nuno +1 · 2 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability
- SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
2023/06/08 by di Angelo, Monika, Durieux, Thomas, Ferreira, João F. +1 · 2 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Leveraging Large Language Models to Boost Dafny's Developers Productivity
2024/01/01 by Silva, Álvaro, Mendes, Alexandra, Ferreira, João F. · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
2023/08/18 by Saavedra, Nuno, Gonçalves, João, Henriques, Miguel +2 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE)