E-LIB Suche - Ergebnisse für: Naldurg, Prasad

1

Patching Logic Vulnerabilities for Web Applications using L..:

, In: Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy,

Monshizadeh, Maliheh ; Naldurg, Prasad ; Venkatakrishnan, V.N. - p. 73-84 , 2016

Link: https://dl.acm.org/doi/1..

2

MACE : Detecting Privilege Escalation Vulnerabilities in..:

, In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security,

Monshizadeh, Maliheh ; Naldurg, Prasad ; Venkatakrishnan, V. N. - p. 690-701 , 2014

Link: https://dl.acm.org/doi/1..

3

Session details: Keynote address:

, In: Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security,

Naldurg, Prasad , 2013

Link: https://dl.acm.org/doi/1..

4

Proceedings of the Eighth ACM SIGPLAN workshop on Programmi..:

Naldurg, Prasad ; Swamy, Nikhil , 2013

Link: https://dl.acm.org/doi/1..

5

ZDVUE : prioritization of javascript attacks to discover..:

, In: Proceedings of the 4th ACM workshop on Security and artificial intelligence,

Karanth, Sandeep ; Laxman, Srivatsan ; Naldurg, Prasad... - p. 31-42 , 2011

Link: https://dl.acm.org/doi/1..

6

SEAL : a logic programming framework for specifying and ..:

, In: Proceedings of the 16th ACM symposium on Access control models and technologies,

Naldurg, Prasad ; K.R., Raghavendra - p. 83-92 , 2011

Link: https://dl.acm.org/doi/1..

7

A type system for data-flow integrity on Windows Vista:

Chaudhuri, Avik ; Naldurg, Prasad ; Rajamani, Sriram
ACM SIGPLAN Notices. 43 (2009) 12 - p. 9-20 , 2009

Link: https://dl.acm.org/doi/1..

8

A type system for data-flow integrity on Windows Vista:

Chaudhuri, Avik ; Naldurg, Prasad ; Rajamani, Sriram
ACM SIGPLAN Notices. 43 (2009) 12 - p. 9-20 , 2009

Link: https://doi.org/10.1145/..

9

EON : modeling and analyzing dynamic access control syst..:

, In: Proceedings of the 15th ACM conference on Computer and communications security,

Chaudhuri, Avik ; Naldurg, Prasad ; Rajamani, Sriram K... - p. 381-390 , 2008

Link: https://dl.acm.org/doi/1..

10

A type system for data-flow integrity on windows vista:

, In: Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security,

Chaudhuri, Avik ; Naldurg, Prasad ; Rajamani, Sriram - p. 89-100 , 2008

Link: https://dl.acm.org/doi/1..

11

NETRA: : seeing through access control:

, In: Proceedings of the fourth ACM workshop on Formal methods in security,

Naldurg, Prasad ; Schwoon, Stefan ; Rajamani, Sriram. - p. 55-66 , 2006

Link: https://dl.acm.org/doi/1..

12

Modeling insecurity : policy engineering for survivabili..:

, In: Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems: in association with 10th ACM Conference on Computer and Communications Security,

Naldurg, Prasad ; Campbell, Roy H. - p. 91-98 , 2003

Link: https://dl.acm.org/doi/1..

13

Dynamic access control : preserving safety and trust for..:

, In: Proceedings of the eighth ACM symposium on Access control models and technologies,

Naldurg, Prasad ; Campbell, Roy H. - p. 231-237 , 2003

Link: https://dl.acm.org/doi/1..

14

Security-aware ad hoc routing for wireless networks:

, In: Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing,

Yi, Seung ; Naldurg, Prasad ; Kravets, Robin - p. 299-302 , 2001

Link: https://dl.acm.org/doi/1..

15

Formal Models and Verified Protocols for Group Messaging: A..:

Bhargavan, Karthikeyan ; Beurdouche, Benjamin ; Naldurg, Prasad
hal-02425229. , 2019

Link: https://inria.hal.scienc..