E-LIB Suche - Ergebnisse für: Boccardo, Davidson

1

DYSSS: A Dynamic and Context-Aware Security System for Shar..:

de Farias, Claudio M. ; Pirmez, Luci ; Carmo, Luiz F. R. C....
International Journal of Distributed Sensor Networks. 11 (2015) 11 - p. 756863 , 2015

Link: https://doi.org/10.1155/..

2

Structured Watermarks for Structured Software:

Bento, Lucila M. S. ; Boccardo, Davidson R. ; Machado, Raphael C. S...
SN Computer Science. 5 (2024) 5 - p. , 2024

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

3

Dijkstra graphs:

Bento, Lucila M.S. ; Boccardo, Davidson R. ; Machado, Raphael C.S....
Discrete Applied Mathematics. 261 (2019) - p. 52-62 , 2019

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

4

Full Characterization of a Class of Graphs Tailored for Sof..:

Bento, Lucila M. S. ; Boccardo, Davidson R. ; Machado, Raphael C. S...
Algorithmica. 81 (2019) 7 - p. 2899-2916 , 2019

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

5

On the resilience of canonical reducible permutation graphs:

Bento, Lucila M.S. ; Boccardo, Davidson R. ; Machado, Raphael C.S...
Discrete Applied Mathematics. 234 (2018) - p. 32-46 , 2018

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

6

Fair Fingerprinting Protocol for Attesting Software Misuses:

, In: 2015 10th International Conference on Availability, Reliability and Security,

Machado, Raphael C.S. ; Boccardo, Davidson R. ; Pereira De Sa, Vinicius G.. - p. 110-119 , 2015

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

7

Software validation of medical instruments:

, In: 2014 IEEE International Symposium on Medical Measurements and Applications (MeMeA),

Boccardo, Davidson R. ; Machado, Raphael C. S. ; Camara, Sergio M.... - p. 1-4 , 2014

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

8

A tight bound for exhaustive key search attacks against Mes..:

de SÁ, Vinícius G.P. ; Boccardo, Davidson R. ; Rust, Luiz Fernando.
RAIRO - Theoretical Informatics and Applications. 47 (2012) 2 - p. 171-180 , 2012

Link: https://doi.org/10.1051/..

9

Context-sensitive analysis of obfuscated x86 executables:

, In: Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation,

Lakhotia, Arun ; Boccardo, Davidson R. ; Singh, Anshuman. - p. 131-140 , 2010

Link: https://dl.acm.org/doi/1..

10

Software control and intellectual property protection in cy..:

C. S. Machado, Raphael ; R. Boccardo, Davidson ; Sá, Vinícius G. Pereira de.
EURASIP Journal on Information Security. 2016 (2016) 1 - p. , 2016

Link: https://doi.org/10.1186/..

11

Software watermarking: contributions that transcend the the..:

Bento, Lucila ; Boccardo, Davidson ; Machado, Raphael..
https://www.e-publicacoes.uerj.br/index.php/cadinf/article/view/70579/43766. , 2022

Link: https://www.e-publicacoe..

12

Towards a provably resilient scheme for graph-based waterma..:

Bento, Lucila M. S ; Boccardo, Davidson ; Machado, Raphael C. S..
http://arxiv.org/abs/1302.7262. , 2013

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

13

Dijkstra Graphs:

Bento, Lucila M. S ; Boccardo, Davidson R ; Machado, Raphael C. S...
http://arxiv.org/abs/1602.08653. , 2016

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

14

Context-sensitive analysis of x86 obfuscated executables:

Boccardo, Davidson Rodrigo
BOCCARDO, Davidson Rodrigo. Context-sensitive analysis of x86 obfuscated executables. 2009. 104 f. Tese (doutorado) - Universidade Estadual Paulista, Faculdade de Engenharia de Ilha Solteira, 2009.. , 2014

Link: http://acervodigital.une..

15

Context-sensitive analysis without calling-context:

Lakhotia, Arun ; Boccardo, Davidson R ; Singh, Anshuman.
Higher-Order and Symbolic Computation. , 2010

Link: http://hdl.handle.net/11..