The top documents of ulisses-costa
Static Code Analyzer - Part II
690 views
Automatic Test Generation for Space
762 views
Specifying and Implementing SNOW3G with Cryptol
1.620 views
logCesium01
345 views
Correct sorting with Frama-C
6.061 views
Static Code Analyzer - Part IV
386 views
GD::Graph - Graph Plotting Module
3.424 views
Static Code Analyzer - Part III
406 views
Static Code Analyzer - Part I
411 views
Cryptol experience
671 views
Specification of SNOW 3G in Cryptol
3.683 views
Captura de Informação em Rede
1.074 views
Exploring the Cryptol Toolset
1.194 views
LDAP em VDM++
542 views
Splint the C code static checker
8.546 views
Snort - capturar e dissecar o tráfego da rede
5.040 views
Apresentacao JML
608 views
Linux Instalation Party
697 views
Uso de Honeypots com Honeyd
1.012 views