Dependent record types and algebraic structures in type theory

von Betarte, Gustavo
Veröffentlicht 1998

Dependent record types and algebraic structures in type theory

von Betarte, Gustavo
Veröffentlicht 1998

Dependent record types and algebraic structures in type theory

von Betarte, Gustavo
Veröffentlicht 1998

PRIVACY AWARE BLOCKCHAIN SOLUTIONS: DESIGN AND THREAT ANALYSIS

von Molina, Maria Fernanda
Veröffentlicht in Ibero-American Conference on Software Engineering (24. : 2021 : Online) 24th Iberoamerican Conference on Software Engineering (CIbSE 2021) (2022)

Web Application Attacks Detection Using Deep Learning

von Montes, Nicolás
Veröffentlicht in CIARP (25. : 2021 : Online) Progress in pattern recognition, image analysis, computer vision, and applications (2021)

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol

von Betarte, Gustavo
Veröffentlicht in AIBlock (2. : 2020 : Online) Applied cryptography and network security workshops (2020)