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

1

Structured Watermarks for Structured Software:

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

2

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/..

3

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/..

4

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/..

5

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/..

6

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/..

7

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/..

8

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..

9

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/..

10

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..

11

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..

12

Context-sensitive analysis of obfuscated x86 executables:

Lakhotia, Arun ; Boccardo, Davidson R ; Singh, Anshuman.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. , 2010

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

13

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/..

14

Software control and intellectual property protection in cy..:

C. S. Machado, Raphael ; R. Boccardo, Davidson ; Sá, Vinícius G. Pereira de.
http://jis.eurasipjournals.com/content/2016/1/8. , 2016

Link: http://jis.eurasipjourna..

15

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

Claudio M. de Farias ; Luci Pirmez ; Luiz F. R. C. Carmo...
https://doi.org/10.1155/2015/756863. , 2015

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