MQuaresma
Ph.D. student in high assurance post-quantum cryptography at the Max-Planck Institute for Security and Privacy | Mountain athlete
MPI-SPBochum, Germany
Pinned Repositories
formosa-mlkem
libjade
Crypto library
jasmin
Language for high-assurance and high-speed cryptography
arm-trusted-firmware
AssociateManager
CASM-Verify
Automatic functional verification tool for assembly implementation of cryptographic algorithms
MovescountToStrava
Parallel-Poisson-with-Gauss-Seidel
Parallel implementation, using a Red-Black scheme, of an iterative approach to the Poisson equation using Gauss-Seidel
pswoosh
Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
Sokoban
Sokoban transport puzzle game written in Haskell
MQuaresma's Repositories
MQuaresma/pswoosh
Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
MQuaresma/arm-trusted-firmware
MQuaresma/MovescountToStrava
MQuaresma/Parallel-Poisson-with-Gauss-Seidel
Parallel implementation, using a Red-Black scheme, of an iterative approach to the Poisson equation using Gauss-Seidel
MQuaresma/Dotfiles
My Vim and i3WM config files
MQuaresma/GoogleHashCode2019
MQuaresma/mquaresma.github.io
MQuaresma/optee_os
Trusted side of the TEE
MQuaresma/StreamProcessing
Stream processing system using an Apache-Storm like architecture
MQuaresma/CASM-Verify
Automatic functional verification tool for assembly implementation of cryptographic algorithms
MQuaresma/Cryptographic-Implementations
Implementation of several cryptosystems
MQuaresma/MellonFS
File system with 2FA embedded in access control
MQuaresma/Parallel-soundwave-propagation-simulator
MQuaresma/androguard-yara
Module to use Androguard with Yara
MQuaresma/AssemblyLine
A C library and binary for generating machine code of x86_64 assembly language and executing on the fly without invoking another compiler, assembler or linker.
MQuaresma/CryptOpt
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
MQuaresma/CryptOpt-Scripts
MQuaresma/DPUM
Desafio de Programação da Universidade do Minho
MQuaresma/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MQuaresma/EfficientIO-Analysis-via-Tracing
Analysis of IO performance as measured by the iozones benchmarks, using DTrace
MQuaresma/engseg
Engenharia de Segurança - Univ. Minho
MQuaresma/GpxToKml
Convertor of GPX files to KML files using FLEX
MQuaresma/jasmin
Jasmin compiler
MQuaresma/jazzline
MQuaresma/MB.ioChallenge
MQuaresma/MeasureSuite
This library measures the execution time for code. Can measure asm (with Assemblyline), o, so, bin files. Can check correctness (equality of all functions on output data) and the output is a JSON with robust cycle counts.
MQuaresma/NopBox
MQuaresma/optee_client
Normal World Client side of the TEE
MQuaresma/Parallel-Heap-Sort
MQuaresma/swooshuae