EmbeddedSw is an italian freelance HW&SW private consulting resource, deeply involved in formal/practical research & custom development of
|
Embedded Consulting Service
FTDI USB Vinculum |
Active Projects
University Material
[2007] MiniC: C Subset Compiler |
|
[2007] Image Blind Deconvolution |
|
[2007] Freescale Microcontrollers Formalization |
|
[2008] IT Engineering Professional Qualification |
|
[2008] DESYNC: Self-Organizing Desynchronization |
|
[2010] CerCo: Certified Complexity Preserving Compiler |
|








[SW] OpenPuff 3.x - Professional Steganography
Internet Review
[SW] MultiObfuscator 1.x - Professional Cryptography
[SW] libObfuscate 1.x - Professional Data Obfuscation
[HW] EMUFDD 4.x - Universal Floppy HW Emulator
[HW] FEMA 1.x - Automatic Leveling System
SW (Bison & Flex)
SW (Matita & OCaml)