education

  • M.S. in Computer Engineering (2010)

    University of Florida, Gainesville
    GPA:3.70/4.0

  • B. Tech in Information Technology (2008)

    National Institute of Technology, Jaipur
    GPA:3.75/4.0

research and experience

  • Student Research Assistant (May 2009-August 2010)

    Currently working in the Embedded Systems Lab Lab at University of Florida, CISE Deptt., on dynamic and heterogeneous code compression and ciphering, under the supervision of Dr. Prabhat Mishra. The project is funded by the National Science Foundation.
    My work involves formulating, implementing and analysing different schemes for compressing and ciphering instruction and its dynamic runtime decompression and deciphering. My work also invloved designing a new code compression technique to get optimum permormance and memory usage. Follow this link to the project webpage.

  • Software Intern (May 2009-August 2010)

    Worked as an software intern at Infinite Energy, Gainesville. My work involved automation of verification of transaction processes through stored procedures (Transact-SQL).

  • Systems Administrator (2007-2008)

    Setup and administered the Institute Mail server (Qmail and Courier), LDAP server and the corresponding Central Authentication System for the Central Computer Lab, at National Institute of Technology, Jaipur. The LDAP directory server is currently being used as central authentication service for the whole campus.

projects

  • Integratiton of Code Compression and Encryption:

    Formulated and analyzed different architectural pipelines of ciphering and compressing instruction code. In the process, setup an infrastructure to produce ECOFF binaries with compressed and encrypted instruction code, and modified SimpleScalar, an out-of-order superscalar performance simulator by adding modules to dynamically decode the instructions to execute the modified binary.

  • Dual Code Compression:

    Formulated and analyzed different architectural pipelines of ciphering and compressing instruction code. In the process, setup an infrastructure to produce ECOFF binaries with compressed and encrypted instruction code, and modified SimpleScalar, an out-of-order superscalar performance simulator by adding modules to dynamically decode the instructions to execute the modified binary.

  • BitTorrent Client:

    Designed and analyzed a novel code compression algorithm to achieve both optimal performance and code size reduction when running the applications on embedded systems. The implementation was done on SimpleScalar performance simulator.

  • Super-scalar Simulator:

    Implemented a performance simulator for a super-scalar MIPS processor. It involved two phases: first was to implement the instruction set architecture i.e. to create a functional simulator, and then to implement the pipelined stages of the processor. Platform for the project was Java (jdk 1.6) on GNU/Linux (Debian 5.0).

  • Strong Authentication Protocol:

    Implemented a client registration service using several aspects of secure client-server authentication, like RSA Public key encryption and Digital Signature, MD5 message digesting, TEA secret key encryption, nounces and cookies.

  • Covert Channels in the TCP/IP suite:

    Designed and implemented a means of channeling data covertly and bouncing it from an arbitrary host by manipulating the TCP/IP message headers using raw sockets in the Linux's (kernel v2.6) networking API and Berkley Sockets in C.

  • Aspect Oriented Operating System Kernel:

    Designed an Operating System kernel in aspect oriented paradigm (through AspectC and GCC) and the Minix 2.0 kernel as the base, to find out the feasibility and efficacy of Aspect Oriented Programming in designing and integrating the kernel modules like memory management, process management, file system, and inter procedure calls.

  • Online course registration:

    Designed and developed an online course registration site for students and instructors. It was a course project for Database Management Systems (Fall 2009). System and tools used were Linux, Apache webserver, MySQL backend database and PHP (i.e. LAMPS).

relevant courses

  • Graduate Level

    Computer Architecture, Database Management Systems, Embedded Systems, Computer Networks, Analysis of Algorithms, Distributed Operating Systems, Advanced Data Structures, Computer Network Security Systems.

  • Undergraduate Level

    Computer Vision, Automata Theory, Computer Graphics, Artificial Intelligence,System Software, Digital Signal Processing, Discrete Mathematics, Computer Organization, Digital Electronics, Data Structures and Algorithms.

publications

  • M.S. Thesis

    Synergistic Integration of Code Compression and Encryption in Embedded Systems University of Florida, August 2010.

  • Conference Papers

    • Dual Code Compression for Embedded Systems, Kartik Shrivastava and Prabhat Mishra, Accepted to appear in International Conference on VLSI Design, Chennai, India, January 2-7, 2011.
    • Synergistic Integration of Code Compression and Encryption, Kartik Shrivastava and Prabhat Mishra, Due for publication in LCTES 2011.

technical skills

  • Programming Languages

    Assembly Programming, C, Java (J2SE, J2EE), AspectC, C# .NET, Perl

  • Tools and Utilities

    SimpleScalar v3, IBM Rational Rose, MATLAB, Bochs (x86 simulator), VMWare Server, SQL, Transact-SQL

  • Systems and Servers

    Apache Web Server and Apache Tomcat, MySQL, OpenLDAP v2 Directory Service, Samba, Qmail, SMTP and Squirrel Mail webmail
    Operating Systems
    • Unix (BSD)
    • Linux: Debian, Gentoo & Ubuntu
    • Windows: 98, NT, XP, Vista

  • Web Programming

    PHP, JSP, java applets, java script, DHTML, CSS, XML, Ajax
Design downloaded from Free Templates