CS Postdoc Profiles » Information Assurance / Security / Privacy / Cryptography

Zhiqiang Liu from Clarkson University

tdomf_c5ea8 — Fri, 06 Apr 2012 06:34:58 +0000

Education Background:

I got my master’s degree in theoretical mathematics, specifically the homology algebra in 2005. After two years working, from 2007, I started my computer science study at Clarkson University. Besides studying basic computer science classes, I learned some knowledge on Satisfiability Modulo Theories, which is a SAT problem in first order logic modulo equational theo-ries. Later, I read some papers about theorem proving and unification for preparing my future research. At the same time, I learned some basic background of cryptographic primitives and protocol design. I also took some classes on quantum computing, quantum cryptography and tensor products.

My Current Research:

Starting in 2009, I started working on designing E-unification algorithm modulo XOR and AG(with and without homomorphism) . My focus is on the application of unification to cryptographic protocols analysis via formal methods. The gaol is to find simple and efficient E-unification algorithms, which are applied to cryptographic protocol. This includes two parts: algorithms that are easy to be implemented and are efficient in practice. So far we devised several unification algorithms modulo exclusive OR (with homomorphism), Abelian groups (with homomorphism) and implemented them in Maude, which is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Now we are working on asymmetric unification algorithm modulo XOR and Abelian, which is a new approaches derived from cryptograpic protocol analysis in Maude-NPA.

My Career Goal:

I want to be a research professor in computer science. So far, I am willing to find a postdoc or related research position in computer science, specifically in model checking, theorem proving, cryptographic protocols analysis, etc.

You can view my CV via here.

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: 5182750-63

Rajani Muraleedharan from Syracuse University

tdomf_c5ea8 — Thu, 02 Jun 2011 14:34:19 +0000

My research focus is in information analysis, data mining techniques to improve communication and security in wireless networks. My doctoral dissertation entitled ‘Cognitive Security Framework for Heterogeneous Sensor Network Using Swarm Intelligence’, provides a generic framework that can be tailored to any application using swarm based mathematical concepts. My thesis primarily involved analyzing and simulating security attacks and anomalies using threat/attack models to test application sensitivity and resilience.

Link to My CV

More information can be found at http://www.cognitiveintelligence.com

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: 315-289-7933

Kosmas Kapis from The Open University of Tanzania

tdomf_c5ea8 — Wed, 25 May 2011 14:30:58 +0000

Currently teaching at the University of Dar es Salaam, Computer Science and Engineering Department

Contact Information

E-Mail: EMAIL OBFUSCATED

Sherman S.M. Chow from New York University

tdomf_c5ea8 — Tue, 17 May 2011 09:46:40 +0000

My research interests are in the space of applied cryptography and distributed system security. My research over the past few years has been primary focused around pairing-based cryptography and applications with privacy concerns.

My publication list can be found in my personal web page. Major publications appeared in CCS, NDSS, Infocom, CT-RSA, PKC, etc.

Please check my LINKEDIN PROFILE and my Waterloo homepage for update information.

Contact Information

E-Mail: EMAIL OBFUSCATED

Xin Liu from Nanyang Technological University

tdomf_c5ea8 — Thu, 28 Apr 2011 07:26:58 +0000

I am interested in trust management, distributed computing and social computing.

My CV at: https://sites.google.com/site/liuxinpage/curriculum-vitae

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: (65)98942916

Ferdous Ahmed Barbhuiya from Indian Institute of Technology Guwahati

tdomf_c5ea8 — Mon, 13 Dec 2010 11:24:20 +0000

This is a free-form field. Please provide as much information as you think is enough. HTML tags are okay.

You can post a link to your online resume here too.

Contact Information

E-Mail: EMAIL OBFUSCATED

Bilal Shaw from University of Southern California

tdomf_c5ea8 — Wed, 08 Dec 2010 18:14:30 +0000

Contact Information

E-Mail: EMAIL OBFUSCATED

Venkatesh Ramamoorthy from Florida Institute of Technology

tdomf_c5ea8 — Fri, 22 Oct 2010 16:04:03 +0000

Contact Information

E-Mail: EMAIL OBFUSCATED

Venkatesh Ramamoorthy from Florida Institute of Technology

tdomf_c5ea8 — Fri, 22 Oct 2010 15:59:02 +0000

Contact Information

E-Mail: EMAIL OBFUSCATED

Satish M Srinivasan from University of Nebraska at Omaha

tdomf_c5ea8 — Thu, 19 Aug 2010 20:18:46 +0000

The dissertation focused on Data Aggregation (DA) in Partially Connected Networks (PCN) assuming that the communication system is synchronous. Expanding on the results, the current research is focused on the following:

• Data Aggregation assuming asynchronous communication – Asynchronous communication system assumes the processing time of each node (agent) is not bounded. Therefore, the agents in the network do their voting for each round at different points of time. DA with asynchronous communication is suitable for situations where the stations are mobile, or the speeds of communications links are not the same or vary. Therefore, the convergence expressions and convergence properties are being investigated for such networks.
• Multi-domain decision making process – The data aggregation problem mostly assumes the values to vote on are singular, such as receiving a single value from each neighbor and vote on the values received. However there are applications where the data received from each neighbor are multi-domained or belong to multiple domains. An example is receiving the location of an object in terms of longitude, latitude, and altitude. Therefore, the question is how to vote on these multi-domain values, one received from each neighbor. A simple application is successfully identifying the location of an object.
• Target detection – Another avenue of research currently being investigated is in reference to “target detection”. The objective is to detect a target successfully through a distributive and collaborative decision making process. There are a number of challenging items to deal with such as distinguishing between weak sensing signals and noise signals, how to mask the faulty information from neighbors, or when not all sensing devices can detect the object in order for the network to make the right decision.

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: 4022148226