Research Work
Thesis Work
My Master's thesis involves the design and implementation of a secure
network server. It includes the following features
- A Policy flexible access control design by making use of a security
policy server
- Confidentiality and integrity of packets on the wire is ensured
by the IPsec protocol
- Key negotiation using the ISAKMP protocol
- Elimination of covert channels due to the shared port space by
creating security union port spaces
Have a look at
my thesis page for a complete description of my thesis.
Other Research Projects
- Formal verification of the Fluke IPC implementation using SPIN
- A Graphical user interface for ad-hoc querying of ObjectStore
databases
-
Compiler Design for Sheba
(Spring 1996, Class Project)
We have designed an optimizing one-pass compiler for a
Pascal-like language called Sheba. We won the first prize in the
associated compiler-contest for generating the fastest object code
on the Sun-Sparc machines. Tools used: Flex and Bison.
- Research on implementing security in Interface definition languages
- A talk on Wormhole routing including some related links and papers
- AS++ a layer on top of the GNU assembler