|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 16 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aseem Rastogi, Avik Chaudhuri, Basil Hosmer |
The ins and outs of gradual type inference.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz |
The impact of optional type information on jit compilation of dynamically typed languages. |
DLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks |
Dynamic inference of static types for ruby. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Chaudhuri |
Liberalizing Dependency |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Avik Chaudhuri, Jeffrey S. Foster |
Symbolic security analysis of ruby-on-rails web applications. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Chaudhuri |
Language-based security on Android. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
data-flow security, hybrid type system, mobile code, certified compilation |
| 1 | Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster |
Static Typing for Ruby on Rails. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
type systems, scripting languages, Ruby, Ruby on Rails, web frameworks |
| 1 | Avik Chaudhuri |
A concurrent ML library in concurrent Haskell. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML |
| 1 | Avik Chaudhuri, Deepak Garg |
PCAL: Language Support for Proof-Carrying Authorization Systems. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani |
A type system for data-flow integrity on Windows Vista. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
data-flow integrity, hybrid type system, explicit substitution, dynamic access control |
| 1 | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani |
A Type System for Data-Flow Integrity on Windows Vista |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Avik Chaudhuri |
Event Synchronization by Lightweight Message Passing |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bruno Blanchet, Avik Chaudhuri |
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage. |
IEEE Symposium on Security and Privacy |
2008 |
DBLP DOI BibTeX RDF |
lazy revocation, key rotation, cryptographic access control, automatic verification, secure storage |
| 1 | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani |
A type system for data-flow integrity on windows vista. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
data-flow integrity, hybrid type system, explicit substitution, dynamic access control |
| 1 | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga |
EON: modeling and analyzing dynamic access control systems with logic programs. |
ACM Conference on Computer and Communications Security |
2008 |
DBLP DOI BibTeX RDF |
logic programming, automatic verification, dynamic access control |
| 1 | Avik Chaudhuri |
Dynamic Access Control in a Concurrent Object Calculus. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Chaudhuri, Martín Abadi |
Formal Analysis of Dynamic, Distributed File-System Access Controls. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Chaudhuri, Martín Abadi |
Secrecy by Typing and File-Access Control. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Chaudhuri, Martín Abadi |
Formal security analysis of basic network-attached storage. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
full abstraction, secure storage, applied pi calculus |
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")