ercoppa Goto Github PK
Name: ercoppa
Type: User
Company: LUISS University, @season-lab
Bio: Assistant professor at LUISS University
Twitter: ercoppa
Location: Rome
Blog: http://www.ercoppa.org
ercoppa's Projects
angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
angr-doc
Documentation for the angr suite
aprof
an input-sensitive profiler
ascii-ctf
A tiny and minimal web platform for jeopardy ctf hosting. Who needs javascript? Real hackers use ascii.
binaries
A repository with binaries for angr tests and examples.
claripy
An abstraction layer for constraint solvers
ctforge
Forge your own CTF
debug-ce
debug-ce-symqemu
docker-hadoop
Ubuntu 16.04 + Apache Hadoop 2.7.6 + Apache Pig 0.15
fuzzing-and-symbolic-execution-hands-on
gardeningbot
Yet another gardening bot based on ESP8266 nodemcu v3
gnome-shell-extension-font-scaler
hadoopinternals
Diagrams describing Apache Hadoop internals (2.3.0 or later).
homework-symbolic-execution
Homework on symbolic execution for the course "DATA AND NETWORK SECURITY" (Sapienza University of Rome, Computer Science Department)
htmlui
HTML UI for Kopia
immich
Self-hosted photo and video backup solution directly from your mobile phone.
kopia
Cross-platform backup tool for Windows, macOS & Linux with fast, incremental backups, client-side end-to-end encryption, compression and data deduplication. CLI and GUI included.
libsym-qsym
materialmasterdisd
pinctf
Using Intel's PIN tool to solve CTF problems
qsym-debug-ce
repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
rust-scripts
few scripts in rust
simuvex
A symbolic execution engine for the VEX IR
symbolic-execution-tutorial
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
symcc
SymCC: efficient compiler-based symbolic execution
symcc-debug-ce
symqemu
SymQEMU: Compilation-based symbolic execution for binaries
unraid
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.