BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (4)
attack (1)
bad (1)
deploy (1)
gradual (1)

Stem confin$ (all stems)

14 papers:

OOPSLAOOPSLA-2014-AllendeFGT #type system
Confined gradual typing (EA, JF, RG, ÉT), pp. 251–270.
OSDIOSDI-2014-StefanYMRHKM #javascript
Protecting Users by Confining JavaScript with COWL (DS, EZY, PM, AR, DH, BK, DM), pp. 131–146.
TOOLSTOOLS-EUROPE-2012-OlszakBJV #detection #quantifier
Detection of Seed Methods for Quantification of Feature Confinement (AO, EB, BNJ, JV), pp. 252–268.
SACSAC-2007-NoordendeBT #mobile #security #using
Guarding security sensitive content using confined mobile agents (Gv'N, FMTB, AST), pp. 48–55.
LDTALDTA-2006-EichbergKKMS #analysis #incremental
Incremental Confined Types Analysis (ME, SK, SK, MM, TS), pp. 81–96.
Saving the world from bad beans: deployment-time confinement checking (DGC, MR, JN), pp. 374–387.
OOPSLAOOPSLA-2003-ZhaoPV #java #lightweight
Lightweight confinement for featherweight Java (TZ, JP, JV), pp. 135–148.
SASSAS-2002-PierroHW #approximate
Analysing Approximate Confinement under Uniform Attacks (ADP, CH, HW), pp. 310–325.
POPLPOPL-2002-BanerjeeN #data access #independence #representation
Representation independence, confinement and access control [extended abstract] (AB, DAN), pp. 166–177.
OOPSLAOOPSLA-2001-GrothoffPV #encapsulation
Encapsulating Objects with Confined Types (CG, JP, JV), pp. 241–253.
Confined Types (JV, BB), pp. 82–96.
LICSLICS-1996-KolaitisV #logic #on the #power of
On the Expressive Power of Variable-Confined Logics (PGK, MYV), pp. 348–359.
RTARTA-1985-Yelick #algorithm #equation #unification
Combining Unification Algorithms for Confined Regular Equational Theories (KAY), pp. 365–380.
SOSPSOSP-1975-Lipner #problem
A Comment on the Confinement Problem (SBL), pp. 192–196.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.