Ulisses Costa
24 SlideShares 88 Followers 79 Folgens
Personal Information
Unternehmen/Arbeitsplatz
Porto Area, Portugal Portugal
Beruf
CTO
Branche
Technology / Software / Internet
Webseite
caos.di.uminho.pt/~ulisses/blog/
Info
Ulisses is the CTO of VisionSpace Tehcnologies, a aerospace and software security company in Portugal. [A-Z]: Open Source, Software Security, Formal Methods.
Kontaktdetails
Tags
msc uminho methods formal research cryptol programming cryptography formal specification static code analyzer languages statistics compilers code mfes haskell linux beamer latex aerospace and defense software testing cesium static software tool snort network lip presentation analyzer formal methods paper snow3g processing code analyzer language language processing universidade um perl tshark portugus tecpdump bash libpcap galois c++ proof frama-c checking splint tools cs cipher vdmtools vdm ldap jml cssi ssi security honeynet honeyd honeypot jmlunit portugal caos pointfree calculador lei
Mehr anzeigen

Präsentationen

(20)
Alle anzeigen

Calculador Pointfree

Vor 15 Jahren • 429 Aufrufe

Workshop LaTeX

Vor 15 Jahren • 585 Aufrufe

Linux Instalation Party

Vor 15 Jahren • 344 Aufrufe

Apresentacao JML

Vor 15 Jahren • 343 Aufrufe

Uso de Honeypots com Honeyd

Vor 15 Jahren • 763 Aufrufe

LDAP em VDM++

Vor 15 Jahren • 338 Aufrufe

Snort - capturar e dissecar o tráfego da rede

Vor 15 Jahren • 3684 Aufrufe

Specification of SNOW 3G in Cryptol

Vor 15 Jahren • 2625 Aufrufe

Exploring the Cryptol Toolset

Vor 14 Jahren • 581 Aufrufe

Splint the C code static checker

Vor 14 Jahren • 15803 Aufrufe

The Cryptol Epilogue: Swift and Bulletproof VHDL

Vor 14 Jahren • 586 Aufrufe

Correct sorting with Frama-C

Vor 14 Jahren • 9315 Aufrufe

Cryptol experience

Vor 14 Jahren • 457 Aufrufe

Captura de Informação em Rede

Vor 14 Jahren • 523 Aufrufe

GD::Graph - Graph Plotting Module

Vor 13 Jahren • 4917 Aufrufe

Static Code Analyzer - Part I

Vor 13 Jahren • 382 Aufrufe

Static Code Analyzer - Part II

Vor 13 Jahren • 406 Aufrufe

Static Code Analyzer - Part III

Vor 12 Jahren • 357 Aufrufe

Static Code Analyzer - Part IV

Vor 12 Jahren • 397 Aufrufe

Automatic Test Generation for Space

Vor 11 Jahren • 937 Aufrufe

Dokumente

(4)
Alle anzeigen

Cesium Log ed2

Vor 13 Jahren • 489 Aufrufe

logCesium01

Vor 13 Jahren • 366 Aufrufe

Specifying and Implementing SNOW3G with Cryptol

Vor 12 Jahren • 1439 Aufrufe

Automatic Test Generation for Space

Vor 11 Jahren • 1843 Aufrufe

Gefällt mir

(3)

Specifying and Implementing SNOW3G with Cryptol

Ulisses Costa • Vor 12 Jahren

From Javascript To Haskell

ujihisa • Vor 16 Jahren

BayFP: Concurrent and Multicore Haskell

Bryan O'Sullivan • Vor 15 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Porto Area, Portugal Portugal
Beruf
CTO
Branche
Technology / Software / Internet
Webseite
caos.di.uminho.pt/~ulisses/blog/
Info
Ulisses is the CTO of VisionSpace Tehcnologies, a aerospace and software security company in Portugal. [A-Z]: Open Source, Software Security, Formal Methods.
Tags
msc uminho methods formal research cryptol programming cryptography formal specification static code analyzer languages statistics compilers code mfes haskell linux beamer latex aerospace and defense software testing cesium static software tool snort network lip presentation analyzer formal methods paper snow3g processing code analyzer language language processing universidade um perl tshark portugus tecpdump bash libpcap galois c++ proof frama-c checking splint tools cs cipher vdmtools vdm ldap jml cssi ssi security honeynet honeyd honeypot jmlunit portugal caos pointfree calculador lei
Mehr anzeigen