Nalin Saigal

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Specification Language

Symbolic Execution

Top Venues

Pervasive Mob. Comput.

Publications

Joshua Finnis, Nalin Saigal, Adriana Iamnitchi, Jay Ligatti
A location-based policy-specification language for mobile devices. Pervasive Mob. Comput. 8 (3) (2012)
Jay Ligatti, Billy Rickey, Nalin Saigal
LoPSiL: A Location-Based Policy-Specification Language. MobiSec (2009)
Nalin Saigal, Jay Ligatti
Inline Visualization of Concerns. SERA (2009)