Miguel Quaresma's repositories
Parallel-Poisson-with-Gauss-Seidel
Parallel implementation, using a Red-Black scheme, of an iterative approach to the Poisson equation using Gauss-Seidel
StreamProcessing
Stream processing system using an Apache-Storm like architecture
CASM-Verify
Automatic functional verification tool for assembly implementation of cryptographic algorithms
Cryptographic-Implementations
Implementation of several cryptosystems
androguard-yara
Module to use Androguard with Yara
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.
CryptOpt
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
DPUM
Desafio de Programação da Universidade do Minho
EfficientIO-Analysis-via-Tracing
Analysis of IO performance as measured by the iozones benchmarks, using DTrace
engseg
Engenharia de Segurança - Univ. Minho
GpxToKml
Convertor of GPX files to KML files using FLEX
jasmin
Jasmin compiler
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.
optee_client
Normal World Client side of the TEE