Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Betarte, Gustavo
59  Ergebnisse:
Personensuche X
?
1

Discovering attacker profiles using process mining and the ..:

, In: Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing,
Rodríguez, Marcelo ; Betarte, Gustavo ; Galegari, Daniel - p. 146-155 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

A Blockchain based and GDPR-compliant design of a system fo..:

Molina, Fernanda ; Betarte, Gustavo ; Luna, Carlos
CLEI Electronic Journal.  26 (2023)  1 - p. , 2023
Link: https://doi.org/10.19153..
 
?
3

A Security Analysis of a Referential Architecture of the FI..:

, In: 2023 XLIX Latin American Computer Conference (CLEI),
Perata, Juan Pablo ; Betarte, Gustavo - p. 1-9 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Third-Party Trackers in COVID-19 Mobile Applications Can En..:

, In: Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing,
Serrano, Nicolas ; Betarte, Gustavo ; Campo, Juan Diego - p. 80-89 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

A Blockchain based and GDPR-compliant design of a system fo..:

Molina, Fernanda ; Betarte, Gustavo ; Luna, Carlos
CLEI Electronic Journal.  26 (2023)  1 - p. , 2023
Link: https://doi.org/10.19153..
 
?
6

Discovering attacker profiles using process mining and the ..:

, In: Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing,
Rodríguez, Marcelo ; Betarte, Gustavo ; Galegari, Daniel - p. 146-155 , 2023
Link: https://dl.acm.org/doi/1..
 
?
7

Contact tracing solutions for COVID-19: applications, data ..:

Betarte, Gustavo ; Campo, Juan Diego ; Delgado, Andrea...
CLEI Electronic Journal.  25 (2022)  2 - p. , 2022
Link: https://doi.org/10.19153..
 
?
8

An Idealized Model for the Formal Security Analysis of the ..:

, In: 2022 XVLIII Latin American Computer Conference (CLEI),
Silveira, Adrian ; Betarte, Gustavo ; Cristia, Maximiliano. - p. 1-10 , 2022
Link: https://doi.org/10.1109/..
 
?
9

An Idealized Model for the Formal Security Analysis of the ..:

, In: 2022 XVLIII Latin American Computer Conference (CLEI),
Silveira, Adrian ; Betarte, Gustavo ; Cristia, Maximiliano. - p. 1-10 , 2022
Link: https://doi.org/10.1109/..
 
?
10

Contact tracing solutions for COVID-19: applications, data ..:

Betarte, Gustavo ; Campo, Juan Diego ; Delgado, Andrea...
CLEI Electronic Journal.  25 (2022)  2 - p. , 2022
Link: https://doi.org/10.19153..
 
?
11

Web Application Attacks Detection Using Deep Learning:

, In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications; Lecture Notes in Computer Science,
Montes, Nicolás ; Betarte, Gustavo ; Martínez, Rodrigo. - p. 227-236 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Proximity tracing applications for COVID-19: data privacy a..:

, In: 2021 XLVII Latin American Computing Conference (CLEI),
Betarte, Gustavo ; Campo, Juan Diego ; Delgado, Andrea... - p. 1-10 , 2021
Link: https://doi.org/10.1109/..
 
?
13

A Process Mining-based approach for Attacker Profiling:

, In: 2021 IEEE URUCON,
Rodriguez, Marcelo ; Betarte, Gustavo ; Calegari, Daniel - p. 425-429 , 2021
Link: https://doi.org/10.1109/..
 
?
14

Towards a Formally Verified Implementation of the MimbleWim..:

, In: Lecture Notes in Computer Science; Applied Cryptography and Network Security Workshops,
Betarte, Gustavo ; Cristiá, Maximiliano ; Luna, Carlos.. - p. 3-23 , 2020
Link: https://doi.org/10.1007/..
 
?
15

System-Level Non-interference of Constant-Time Cryptography..:

Barthe, Gilles ; Betarte, Gustavo ; Campo, Juan Diego..
Journal of Automated Reasoning.  64 (2020)  8 - p. 1685-1729 , 2020
Link: https://doi.org/10.1007/..
 
1-15