Miguel Quaresma (MQuaresma)

MQuaresma

Geek Repo

Company:MPI-SP

Location:Bochum, Germany

Home Page:mquaresma.github.io

Twitter:@miguel__mq

Github PK Tool:Github PK Tool


Organizations
formosa-crypto
haslab
PEI-I1

Miguel Quaresma's repositories

pswoosh

Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange

Language:CLicense:NOASSERTIONStargazers:2Issues:1Issues:0
Language:PythonLicense:MITStargazers:2Issues:2Issues:0

Parallel-Poisson-with-Gauss-Seidel

Parallel implementation, using a Red-Black scheme, of an iterative approach to the Poisson equation using Gauss-Seidel

Language:TeXLicense:MITStargazers:2Issues:2Issues:0

Dotfiles

My Vim and i3WM config files

Language:ShellStargazers:1Issues:2Issues:0
Language:TeXLicense:MITStargazers:1Issues:0Issues:0
Language:ShellLicense:MITStargazers:1Issues:1Issues:0

optee_os

Trusted side of the TEE

Language:CLicense:NOASSERTIONStargazers:1Issues:1Issues:0

StreamProcessing

Stream processing system using an Apache-Storm like architecture

Language:CStargazers:1Issues:4Issues:0

CASM-Verify

Automatic functional verification tool for assembly implementation of cryptographic algorithms

Language:PythonStargazers:0Issues:0Issues:0

Cryptographic-Implementations

Implementation of several cryptosystems

Language:Jupyter NotebookStargazers:0Issues:2Issues:0

MellonFS

File system with 2FA embedded in access control

Language:CLicense:MITStargazers:0Issues:2Issues:0
Language:TeXLicense:MITStargazers:0Issues:0Issues:0

androguard-yara

Module to use Androguard with Yara

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

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.

Language:AssemblyLicense:Apache-2.0Stargazers:0Issues:0Issues:0

CryptOpt

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

DPUM

Desafio de Programação da Universidade do Minho

Language:ElixirStargazers:0Issues:0Issues:0

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

EfficientIO-Analysis-via-Tracing

Analysis of IO performance as measured by the iozones benchmarks, using DTrace

Language:TeXLicense:MITStargazers:0Issues:1Issues:0

engseg

Engenharia de Segurança - Univ. Minho

Language:PythonStargazers:0Issues:0Issues:0

GpxToKml

Convertor of GPX files to KML files using FLEX

Language:TeXStargazers:0Issues:0Issues:0

jasmin

Jasmin compiler

Language:CoqLicense:MITStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:0Issues:0

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.

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:CLicense:MITStargazers:0Issues:1Issues:0

optee_client

Normal World Client side of the TEE

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:TeXLicense:MITStargazers:0Issues:2Issues:0
Stargazers:0Issues:0Issues:0