Ulisses is the CTO of VisionSpace Tehcnologies, a aerospace and software security company in Portugal. [A-Z]: Open Source, Software Security, Formal Methods.
Contact Details
Tags
uminhomscformalmethodsresearchcryptolprogrammingcryptographycodemfeshaskellcompilersstatisticslanguagesstatic code analyzerlinuxformal specificationbeamerlatexlippresentationnetworksnorttoolsoftwarestaticcesiumaerospace and defensesoftware testinglanguage processingcssissilanguagesecurityhoneynethoneydhoneypotjmlunitcode analyzerportugalprocessingsnow3gpaperformal methodsanalyzercaospointfreecalculadorproofframa-ccheckingc++splinttoolscsciphergaloislibpcapbashtecpdumpvdmtoolsvdmldapportugusjmltsharkperlumuniversidadelei
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
