mquaresma Goto Github PK

academicmanagement

Command line manager for courses and students

androguard-yara

Module to use Androguard with Yara

arm-trusted-firmware

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.

associatemanager

auditing_a_poly1305_mac_implementation_in_jasminx86

Poly1305 Jasmin x86 implementation auditing

casm-verify

Automatic functional verification tool for assembly implementation of cryptographic algorithms

cryptographic-implementations

Implementation of several cryptosystems

cryptopt

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

cryptopt-scripts

dotfiles

My Vim and i3WM config files

dpum

Desafio de Programação da Universidade do Minho

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

efficientio-analysis-via-tracing

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

engseg

Engenharia de Segurança - Univ. Minho

googlehashcode2019

gpxtokml

Convertor of GPX files to KML files using FLEX

healthcaresystem

html2latexconverter

Basic HTML to Latex converter

jasmin

Jasmin compiler

javascript_foundations

javastreamsperformanceanalysis

Analysis of performance for parallel vs. sequential Java streams

jazzline

jjms

lldbinit

A gdbinit clone for LLDB

mb.iochallenge

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.

mellonfs

File system with 2FA embedded in access control

movescounttostrava

mquaresma.github.io