E-LIB Suche - Ergebnisse für: Dantas, Yuri Gil

1

A Model-Based Systems Engineering Plugin for Cloud Security..:

Dantas, Yuri Gil ; Nigam, Vivek ; Schöpp, Ulrich
SN Computer Science. 5 (2024) 5 - p. , 2024

Link: https://doi.org/10.1007/..

2

Safety-Aware Deployment Synthesis and Trade-Off Analysis of..:

, In: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C),

Terzimehic, Tarik ; Barner, Simon ; Dantas, Yuri Gil... - p. 309-316 , 2023

Link: https://doi.org/10.1109/..

3

Automating Safety and Security Co-design through Semantical..:

Dantas, Yuri Gil ; Nigam, Vivek
ACM Transactions on Cyber-Physical Systems. 7 (2023) 1 - p. 1-28 , 2023

Link: https://doi.org/10.1145/..

4

A Formal Security Assessment Framework for Cooperative Adap..:

, In: 2020 IEEE Vehicular Networking Conference (VNC),

Dantas, Yuri Gil ; Nigam, Vivek ; Talcott, Carolyn - p. 1-8 , 2020

Link: https://doi.org/10.1109/..

5

A Comparative Study Across Static and Dynamic Side-Channel ..:

, In: Foundations and Practice of Security; Lecture Notes in Computer Science,

Dantas, Yuri Gil ; Hamann, Tobias ; Mantel, Heiko - p. 173-189 , 2019

Link: https://doi.org/10.1007/..

6

On the accuracy of formal verification of selective defense..:

Lemos, Marcilio O.O. ; Dantas, Yuri Gil ; Fonseca, Iguatemi E..
Journal of Logical and Algebraic Methods in Programming. 94 (2018) - p. 45-67 , 2018

Link: https://doi.org/10.1016/..

7

A Toolchain for Synthesizing and Validating Safety Architec..:

Gil Dantas, Yuri ; Munaro, Tiziano ; Carlan, Carmen...
SN Computer Science. 4 (2023) 4 - p. , 2023

Link: https://doi.org/10.1007/..

8

Technical Report: Automating Vehicle SOA Threat Analysis us..:

Dantas, Yuri Gil ; Barner, Simon ; Ke, Pei..
http://arxiv.org/abs/2212.12347. , 2022

Link: http://arxiv.org/abs/221..

9

Automating Safety and Security Co-Design through Semantical..:

Dantas, Yuri Gil ; Nigam, Vivek
http://arxiv.org/abs/2201.10563. , 2022

Link: http://arxiv.org/abs/220..

10

Security Engineering for ISO 21434:

Dantas, Yuri Gil ; Nigam, Vivek ; Ruess, Harald
http://arxiv.org/abs/2012.15080. , 2020

Link: http://arxiv.org/abs/201..

11

Less Manual Work for Safety Engineers: Towards an Automated..:

Dantas, Yuri Gil ; Kondeva, Antoaneta ; Nigam, Vivek
http://arxiv.org/abs/2009.10251. , 2020

Link: http://arxiv.org/abs/200..

12

Estratégias para tratamento de ataques de negação de serviç..:

Dantas, Yuri Gil
DANTAS, Yuri Gil. Estratégias para tratamento de ataques de negação de serviço na camada de aplicação em redes IP. 2015. 78 f. Dissertação (Mestrado em Informática)- Universidade Federal da Paraíba, João Pessoa, 2015.. , 2018

Link: https://repositorio.ufpb..

13

On the Accuracy of Formal Verification of Selective Defense..:

Lemos, Marcilio O. O ; Dantas, Yuri Gil ; Fonseca, Iguatemi E.
http://arxiv.org/abs/1709.04162. , 2017

Link: http://arxiv.org/abs/170..

14

PIX: explaining a state-owned Fintech:

Schapiro, Mario G. ; Mouallem, Pedro Salomon Bezerra ; Dantas, Eric Gil
Brazilian Journal of Political Economy. 43 (2023) 4 - p. 874-892 , 2023

Link: https://doi.org/10.1590/..

15

Specialists and Politics: The Recruitment of Presidents and..:

Tokumoto, Alessandro ; Dias, Rodolfo ; Dantas, Eric Gil.
Brazilian Political Science Review. 15 (2021) 2 - p. , 2021

Link: https://doi.org/10.1590/..