( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring.

, , , и . Autom. Softw. Eng., 31 (1): 1 (июня 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

João Conceição Ferreira

Gil dos Santos Guerreiro João

João Barros

João Fonseca

João Carreira

 

Другие публикации лиц с тем же именем

Contract Usage and Evolution in Android Mobile Applications., , и . CoRR, (2024)SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts., , , и . ASE, стр. 2102-2105. IEEE, (2023)Open and Interactive Learning Resources for Algorithmic Problem Solving., и . FM Workshops (2), том 12233 из Lecture Notes in Computer Science, стр. 200-208. Springer, (2019)Recounting the Rationals: Twice!., и . MPC, том 5133 из Lecture Notes in Computer Science, стр. 79-91. Springer, (2008)Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts., , , , и . ICFEM, том 8144 из Lecture Notes in Computer Science, стр. 165-181. Springer, (2013)DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring., , , и . Autom. Softw. Eng., 31 (1): 1 (июня 2024)Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study., , , и . CoRR, (2023)bGSL: An imperative language for specification and refinement of backtracking programs., , , , , и . J. Log. Algebraic Methods Program., (2023)Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution., , и . ECOOP, том 263 из LIPIcs, стр. 4:1-4:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts., и . CoRR, (2022)