Ceara

Dumitru Ceara

Embedded Systems Consultant, C Programming Consultant
An enthusiastic embedded software engineer enjoying low-level “hacking” as well as high level theoretical problems.
Strong background in computer science: algorithms, optimizations, object oriented programming.
Networking/telecom development: TCP/IP, Network Synchronization (Precision Time Protocol), IPv4 Routing protocols.
System/Kernel programming experience: multi-tasking, synchronization, device driver implementation.
Programming languages: Advanced knowledge of C, Java. Familiar with C++, Assembly, shell scripting, C#, OCaml, SQL.
General: svn, ClearCase, debuggers, profiling tools.

Employment
  • Luxoft Professional Romania (Software Engineer, September 2010 – present)
  • BM – Systems and Technology Group
  • Verimag Laboratory, Grenoble, France (Research Intern, March 2009 – June 2010)
  • Romanian Soft Company – RSC (.NET Software Developer, November 2006 – May 2007, July 2008 – February 2009)

Education and qualifications
Education:
  • MSc. Master of Science in Informatics, University of Grenoble, France, June 2010
  • BSc. System and Computer Engineering, Politehnica University of Bucharest, Romania, 2009

Publications and Talks:
  • Dumitru Ceara, Laurent Mounier and Marie-Laure Potet. Taint dependency sequences: A characterization of insecure execution paths based on input-sensitive cause sequences. In International Workshop on Modelling and Detection of Vulnerabilities (MDV’10), Paris, France
  • Modelling and Detection of Vulnerabilities International Workshop, 2010: article presentation
  • M?thodes de Test, V?ri?cation et Validation French Workshop, 2010: A Characterization of Insecure Execution Paths Based on Taint Dependency Sequences (invited talk)
  • CEA-LIST Frama-C development team seminar, April 2010: Taint Dependency Sequences - STAC Frama-C plug-in (invited talk)
An enthusiastic embedded software engineer enjoying low-level “hacking” as well as high level theoretical problems.
Strong background in computer science: algorithms, optimizations, object oriented programming.
Networking/telecom development: TCP/IP, Network Synchronization (Precision Time Protocol), IPv4 Routing protocols.
System/Kernel programming experience: multi-tasking, synchronization, device driver implementation.
Programming languages: Advanced knowledge of C, Java. Familiar with C++, Assembly, shell scripting, C#, OCaml, SQL.
General: svn, ClearCase, debuggers, profiling tools.

Employment
  • Luxoft Professional Romania (Software Engineer, September 2010 – present)
  • BM – Systems and Technology Group
  • Verimag Laboratory, Grenoble, France (Research Intern, March 2009 – June 2010)
  • Romanian Soft Company – RSC (.NET Software Developer, November 2006 – May 2007, July 2008 – February 2009)

Education and qualifications
Education:
  • MSc. Master of Science in Informatics, University of Grenoble, France, June 2010
  • BSc. System and Computer Engineering, Politehnica University of Bucharest, Romania, 2009

Publications and Talks:
  • Dumitru Ceara, Laurent Mounier and Marie-Laure Potet. Taint dependency sequences: A characterization of insecure execution paths based on input-sensitive cause sequences. In International Workshop on Modelling and Detection of Vulnerabilities (MDV’10), Paris, France
  • Modelling and Detection of Vulnerabilities International Workshop, 2010: article presentation
  • M?thodes de Test, V?ri?cation et Validation French Workshop, 2010: A Characterization of Insecure Execution Paths Based on Taint Dependency Sequences (invited talk)
  • CEA-LIST Frama-C development team seminar, April 2010: Taint Dependency Sequences - STAC Frama-C plug-in (invited talk)
  • C Programming
  • Embedded Systems
  • Compilers
  • Static Code Analysis
  • Embedded Systems
  • C Programming
Still have questions?
Connect with us