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