Manuel Carrasco

About Me

I’m a PhD student supervised by Prof. Cristian Cadar and Prof. Alastair Donaldson at Imperial College London and a member of the Software Reliability Group. Nowadays, I am working on

• SMT Sampling for Fuzzing
• SMT Sampling via Coverage-guided Fuzzing
• Verification-aware Languages Testing

Research Interests

• Software Testing and Verification techniques applied to real software.
• Compilers topics such as the construction of intermediate representations.
• Research driven by applicability: from theory to practice on real scenarios.

Education

• Ph.D. Computer Science. Imperial College London. London. [2021 - ongoing]
• BSc & MSc. Computer Science. Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. [2013 - 2019]

Employment

• Research Assistant. Imperial College London. London. [2021 - ongoing]
• R&D Engineer. Quarkslab, London & Buenos Aires. [2019 - 2021]
• Research Intern. SRI International, New York. [2019 - 2019]
• Research Intern. Quarkslab, Paris. [2018-2019]
• Undergraduate Research Assistant. LaFHIS, Universidad de Buenos Aires. [2017 - 2018]

References

• Prof. Cristian Cadar. [Website]
• Prof. Alastair Donaldson. [Website]
• Dr. Juan Manuel Martinez. [Website]
• Dr. Michael Emmi. [Website]
• Dr. Diego Garbervetsky. [Website]

Projects

• net-ssa. An intermediate representation for .NET bytecode. [Github]
• LLVM-based Java obfuscator. A translator from Java bytecode to LLVM-IR and vice versa. It aimed to re-use existing LLVM-based obfuscations
• MSc thesis. A LLVM-based virtual machine obfuscation and countermeasures against devirtualization techniques.
• TinyBCT. A .NET bytecode translator to Boogie. [Github]

Powered by Jekyll and Minimal Light theme.