ulisses-costa documents

Static Code Analyzer - Part II
Technology Static Code Analyzer - Part II
Automatic Test Generation for Space
Technology Automatic Test Generation for Space
Specifying and Implementing SNOW3G with Cryptol
Technology Specifying and Implementing SNOW3G with Cryptol
logCesium01
Technology logCesium01
Correct sorting with Frama-C
Technology Correct sorting with Frama-C
Static Code Analyzer - Part IV
Technology Static Code Analyzer - Part IV
GD::Graph - Graph Plotting Module
Technology GD::Graph - Graph Plotting Module
Static Code Analyzer - Part III
Technology Static Code Analyzer - Part III
Static Code Analyzer - Part I
Technology Static Code Analyzer - Part I
Cryptol experience
Technology Cryptol experience
Specification of SNOW 3G in Cryptol
Technology Specification of SNOW 3G in Cryptol
Captura de Informação em Rede
Technology Captura de Informação em Rede
Exploring the Cryptol Toolset
Technology Exploring the Cryptol Toolset
LDAP em VDM++
Technology LDAP em VDM++
Splint the C code static checker
Technology Splint the C code static checker
Snort - capturar e dissecar o tráfego da rede
Technology Snort - capturar e dissecar o tráfego da rede
The Cryptol Epilogue: Swift and Bulletproof VHDL
Technology The Cryptol Epilogue: Swift and Bulletproof VHDL
Apresentacao JML
Technology Apresentacao JML
Linux Instalation Party
Technology Linux Instalation Party
Uso de Honeypots com Honeyd
Technology Uso de Honeypots com Honeyd
Calculador Pointfree
Documents Calculador Pointfree