JITHU JOSEPH - University of Utah

3490 A, 50 Central Campus Drive
University of Utah
Salt Lake City, UT- 84112
(385) 210-9875
[email protected]
A Full time position starting around June 2015 aligned with any of my area of interests :
Operating Systems, Virtualization, systems security, embedded systems, filesystems, storage
systems and Networking - Software Defined Networks (SDN),.
School of Computing, University of Utah, Salt Lake City , Utah
Master of Science (MS) in Computer Science, Fall 2013 - present
GPA 3.94 / 4
Model Engineering College, Cochin University of Science and technology , Cochin, India
Bachelor of Technology (BTech) in Computer Science, 2001-2005
First Class with Distinction
Intel Hillsboro
Graduate Intern
June 2014 - Aug 2014
Data Center Group - Security Pathfinding team
I was working on firmware which runs in secure mode of Intel Processors. Intel’s SMI Transfer Module (STM) reduces security dependency on correct BIOS implementation. I modified
STM to enable isolated execution of a specific workload which runs as a secondary guest to
STM. The importance of this project is that it provides necessary groundwork to launch service applications in an isolated container. Also made some changes to Xen hypervisor to trigger
mode-switch into secure mode of the processor.
I also did some modifications to reduce STM’s dependency on Intel TXT (Trusted Execution
Technology) which pre-populates initial pagetables used to bootstrap STM into STM binary
itself. Also developed a kernel module to verify STM’s protections.
Flux Research Group
Research Assistant
Fall 2013-Present
University of Utah
Working on new security models within Operating System kernels, Hypervisors and Network
On the OS front we are developing a mechanism that can securely isolate individual kernel
components inside the address space of the monolithic operating system kernel. This utilizes
x86 hardware virtualization extensions VTx and capabilities to achieve the isolation. Loosely
along the lines of Dune [SOSP 12 - Belay]
On the networking front interaction between nodes are explicitly controlled via capabilities
that allow network interactions to be governed by fine-grained policies. Our system is built
on top of an underlying SDN (Software Defined Network) fabric controlled by our capability
Netapp Bangalore
Member Technical Staff
Sept 2010 - July 2013
I was part of the Data Protection Group which deals with data backup, replication and high
availability. I was part of a team which re- architectured the NDMP protocol stack to a virtualized environment which supports secure multi-tenancy in the cluster. I gained a good
understanding of ONTAP/FreeBSD kernel as my duties also involved analysis of kernel core
dumps as a part of fixing various bugs. I was able to develop a good understanding of File
Systems in general and WAFL file system in particular.
Samsung Bangalore
Software Engineer
July 2008 - Sept 2010
I was involved in porting Linux kernel and boot loaders to Samsung’s ARM SOC based mobile
phones. This helped me gain a detailed understanding of ARM processor architecture, SOC
architecture and embedded computing systems in general. I was involved in writing device
drivers for devices like USB, NAND flash, LCD, audio, modem, timer etc.
Another interesting project I was involved was virtualization for ARM, which involved porting
open source L4 microkernel to Samsung SOC/board. L4 microkernel is an embedded hypervisor which lets you run multiple operating systems at the same time on a single platform
while ensuring a hardware-based isolation between them. We demonstrated two Para virtualized Linux kernels and their associated user level platforms running side by side on the same
phone on top of the hypervisor.
Most of these projects involved porting the open-source kernels right from the scratch by bringing up the very basic peripherals like serial, timer and Interrupt Controller to initialize the
basic system and incrementally porting the drivers for other advanced peripherals.
SCM Microsystems Chennai
Software Engineer
July 2005 - June 2008
I was involved in programming devices that use 8051 based ASICs like smartcard readers
and flash-media readers. These devices interface with the host via USB; consequently I was
involved in writing USB drivers (both host and device side) for these devices. I gained a good
understanding of the USB protocol from this.
• C, Python
• gdb, core dump analysis
• Linux kernel, Linux device drivers, boot loaders, board bring up for smartphones
• ARM Processor Architecture and various SystemOnChip(SOC) architectures used in smart
• Exposure to various subsystems like audio, video, USB, modem for Linux based Smart Phones.
• Trace 32, USB Protocol Analyzer
• Good understanding of SDN (Software Defined Network)- POX controller, Mininet and Openflow
• Good understanding of storage domain
• Good understanding of Intel VTx , Intel TXT, Intel STM and SMI processor extension for
secure / trusted computing
Perfect score in math (99 percentile) for GRE general Test in Nov 2013
Funded admit for MS program in University of Utah
Last Modified: 2014/09/09