m4mbr3

RSM @ IBM Research Europe - Zurich Laboratory.

IBM Research Europe - ZurichZurich

Pinned Repositories

speculator
Tool to Analyze Speculative Execution Attacks and Mitigations
Language:C53 7 016
IdleInjectorBFS
Idle injector mechanism implemented in the bfs scheduler
Language:C00
MalAnaRevEng_SummerSchool
Tutorial on malware reverse engineering
53
malware-classification
Malware Classifier based on the Microsoft Malware Classification Challenge
Language:TeX1 2 00
POULTalk_R3v3
Material for R3v3 Talk
1 3 01
PrivilegeSeparation-glibc
PrivilegeSeparation glibc
Language:C1 2 00
RTOS_kernel
Language:C11
trellis
Source code trellis paper
Language:C3 3 01
lava
LAVA: Large-scale Automated Vulnerability Addition
Language:C++362 23 4859

m4mbr3's Repositories

m4mbr3/trellis
Source code trellis paper
Language:C3 3 01
m4mbr3/malware-classification
Malware Classifier based on the Microsoft Malware Classification Challenge
Language:TeX1 2 00
m4mbr3/PrivilegeSeparation-glibc
PrivilegeSeparation glibc
Language:C1 2 00
m4mbr3/ACE-RISCV
Assured Confidential Execution (ACE) for RISC-V
m4mbr3/ast_grammar
from grammar to ast
Language:Rust
m4mbr3/bareflank_libvmi_extension
Extension to the Bareflank hypervisor supporting LibVMI
Language:C++2 0
m4mbr3/blog
blog
Language:CSS2 0
m4mbr3/camdinzzle
Automatically exported from code.google.com/p/camdinzzle
Language:Java
m4mbr3/consorzio-m-e-m
Automatically exported from code.google.com/p/consorzio-m-e-m
Language:HTML1 0
m4mbr3/cot-clang
Code Optimization and Transformation project: IfConversion on Machine Code before the Register Allocation
Language:C++2 0
m4mbr3/cot-llvm
Code Optimization and Transformation project: IfConversion on Machine Code before the Register Allocation
Language:C++2 0
m4mbr3/CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
Language:Python
m4mbr3/distributed_tictactoe_JMS
Common tic tac toe game implemented using JMS system
Language:Java
m4mbr3/dropbox-like-corba
Dropbox-like application using java-CORBA (jacORB).
Language:Java2 0
m4mbr3/extended_apis
Intel's VT-x / VT-d APIs for the Bareflank hypervisor
Language:C++2 0
m4mbr3/extended_apis_example_hook
example of how to hook a function using the Bareflank hypervisor and EPT
Language:C++2 0
m4mbr3/filter_comments
Program that filters comments for Computer Numerical Control Programs
Language:Rust
m4mbr3/necst-beamer-template
The official LaTeX beamer template.
m4mbr3/packsan
Automatically exported from code.google.com/p/packsan
Language:C1 0
m4mbr3/panda
Platform for Architecture-Neutral Dynamic Analysis
Language:C2 01
m4mbr3/PrivilegeSeparation-allocator
Allocator for PrivilegeSeparation Project
Language:C2 0
m4mbr3/PrivilegeSeparation-chardev
Char device for Trellis project
Language:C
m4mbr3/PrivilegeSeparation-clang
PrivilegeSeparation APIs using LLVM suite and the linux kernel
Language:C++2 0
m4mbr3/PrivilegeSeparation-kernel
PrivilegeSeparation kernel
Language:C2 0
m4mbr3/PrivilegeSeparation-llvm
PrivilegeSeparation APIs using LLVM suite and the linux kernel
Language:C++
m4mbr3/PrivilegeSeparation-login
login daemon for Trellis project
Language:C
m4mbr3/PrivilegeSeparation-test
PrivilegeSeparation APIs using LLVM suite and the linux kernel
Language:C++
m4mbr3/qemu
QEMU VM with generic KVM extensions for symbolic execution
Language:C0 0
m4mbr3/s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
Language:C++0 0
m4mbr3/seco-p2p
Automatically exported from code.google.com/p/seco-p2p
Language:Java