d0cd's repositories
sqlinjection
Protection from SQL Injection Attack in Express and PHP
0x_review
Security review of 0x smart contracts
Language:HTML000
3DPrint
Takes an x-y function and a set of bounds and generates g-code to be read by a 3D printer.
Language:Python000
Casper
A compiler for automatically re-targeting sequential Java code to Apache Spark.
NOASSERTION000
cryptopals
A working set of solutions to the Cryptopals problem sets.
000
GreatFirewallOfChina
Messing around with the Great Firewall of China
Language:Python000
mvs-finalproject
A car emergency system described in Promela and verified with SPIN - Final project of formal verification of software course (unipi)
Language:ShellMIT000
promela-simple-pedestrian-crossing-traffic-light
A Project for Formal Methods in Software Engineering F97 at UT - mirror of https://gitlab.com/hadi_sfr/promela-simple-pedestrian-crossing-traffic-light
000
GPL-3.0000