%%======================================================================
%% WARNING: Do NOT edit this file.  It was produced automatically
%% with the UNIX pipeline
%%
%%       biblex xxx.bib | \
%%         gawk -f keywords.awk | \
%%         egrep 'entrytype$' | \
%%         gawk -f fmtwords.awk >xxx.xwx
%%
%% by beebe@gamma.math.utah.edu on Fri Sep 29 09:39:17 MDT 2023
%%======================================================================

\ifx \NAMECITE \undefined % User can override this definition 
    \def \NAMECITE #1#2{{\bf #1} \cite{#2}}
\fi



\NAMECITE{$_2$}{%
		Quisquater:1997:ASS%
		}.
\NAMECITE{$k$}{%
		Chen:2018:KSQ,%
		Liu:2015:JSD%
		}.
\NAMECITE{$ \Omega $}{%
		Reiter:1996:KMS%
		}.
\NAMECITE{$ \pi $}{%
		Sewell:2003:SCU%
		}.


\NAMECITE{-jump}{%
		Liu:2015:JSD%
		}.
\NAMECITE{{-Skyband}}{%
		Chen:2018:KSQ%
		}.


\NAMECITE{{5PM}}{%
		Baron:2013:SPM%
		}.


\NAMECITE{{9798}}{%
		Basin:2013:PRI%
		}.


\NAMECITE{{ABAC}}{%
		Batra:2019:DAP%
		}.
\NAMECITE{{Abadi}}{%
		Micciancio:2004:CTA%
		}.
\NAMECITE{{Abelian}}{%
		Millen:2005:SPAa,%
		Millen:2005:SPAb%
		}.
\NAMECITE{abstract}{%
		Blazy:2019:VCT,%
		Giacobazzi:2010:ACU,%
		Guttman:2004:FAP,%
		Mardziel:2013:DEK,%
		Preda:2009:SBC%
		}.
\NAMECITE{Abstractions}{%
		Nguyen:2018:ASP,%
		Corin:2008:SCS%
		}.
\NAMECITE{Accelerated}{%
		Elbirt:2008:AAI%
		}.
\NAMECITE{access}{%
		Ahn:2012:PDR,%
		Alam:2008:CBR,%
		Ammann:1996:EPM,%
		Ardagna:2008:PAA,%
		Ardagna:2010:ECP,%
		Armando:2012:SAS,%
		Bertino:2000:LBA,%
		Besson:2010:VRA,%
		Bonatti:2002:UFR,%
		Braghin:2006:RBA,%
		Brose:2002:MAC,%
		DeCapitanidiVimercati:2013:SCM,%
		DeCapitanidiVimercati:2018:EAW,%
		Hagen:2008:PAU,%
		Hale:2000:TBA,%
		Hale:2003:PAC,%
		Krukow:2008:LFH,%
		Le:2016:MCR,%
		Li:2015:NAC,%
		Maffei:2019:GOP,%
		Roscheisen:1997:NCD,%
		Shin:2011:EES,%
		Toahchoodee:2011:FAS,%
		Tripunitara:2007:TCE,%
		Uzun:2014:SAT,%
		Vaidya:2009:ERM,%
		Yang:2015:PAA,%
		Yarmand:2013:BBA,%
		Zhang:2008:SVA%
		}.
\NAMECITE{Accessing}{%
		Diao:2018:AMU%
		}.
\NAMECITE{Accountable}{%
		Bates:2015:AWK,%
		Buldas:2002:ECA%
		}.
\NAMECITE{Achieving}{%
		Atluri:1993:ASC,%
		Harrison:2009:AIF%
		}.
\NAMECITE{Action}{%
		Sinclair:1997:ASS%
		}.
\NAMECITE{active}{%
		Backes:2008:KDM,%
		Kakkar:2003:RAS%
		}.
\NAMECITE{activity}{%
		Taglienti:2016:UAP%
		}.
\NAMECITE{Ad}{%
		Zhu:2006:GEG,%
		Ahn:2012:PDR,%
		Radosavac:2007:DIM,%
		Raya:2007:SVA,%
		Zanin:2007:RRD%
		}.
\NAMECITE{Ad-Hoc}{%
		Zhu:2006:GEG,%
		Ahn:2012:PDR%
		}.
\NAMECITE{adaptation}{%
		Biskup:2012:DPA%
		}.
\NAMECITE{adaptive}{%
		Kopf:2011:ADI%
		}.
\NAMECITE{Address}{%
		Xu:2009:ASL,%
		Phatak:2013:SIN%
		}.
\NAMECITE{Address-space}{%
		Xu:2009:ASL%
		}.
\NAMECITE{Adjoining}{%
		Giacobazzi:2010:ACU%
		}.
\NAMECITE{administration}{%
		Sandhu:1999:RBA,%
		Yang:2015:PAA%
		}.
\NAMECITE{administrative}{%
		Armando:2012:SAS,%
		Ranise:2018:AEA,%
		Vaidya:2009:ERM,%
		Yang:2015:PAA%
		}.
\NAMECITE{administrators}{%
		Alhebaishi:2019:MIT%
		}.
\NAMECITE{Advances}{%
		Visconti:2013:SIA%
		}.
\NAMECITE{adversarial}{%
		Chakraborty:2018:HAD%
		}.
\NAMECITE{{AES}}{%
		Elbirt:2008:AAI%
		}.
\NAMECITE{against}{%
		Bugliesi:2015:CPB,%
		Hagen:2008:PAU,%
		Li:2010:CCB,%
		Ma:2019:TOP,%
		Pescape:2005:EAA,%
		Radosavac:2007:DIM,%
		Schlesinger:2014:MPA%
		}.
\NAMECITE{agenda}{%
		Price:2006:PKI%
		}.
\NAMECITE{agent}{%
		DeAngelis:2011:SAT%
		}.
\NAMECITE{agents}{%
		Broadfoot:2004:EAW%
		}.
\NAMECITE{Aggregating}{%
		Homer:2013:AVM%
		}.
\NAMECITE{Aggregation}{%
		Foley:1992:ASN,%
		Chan:2007:SSI%
		}.
\NAMECITE{agreement}{%
		Pereira:2003:SAU,%
		Pereira:2006:IBS%
		}.
\NAMECITE{ahead}{%
		Siaterlis:2005:OSA%
		}.
\NAMECITE{aid}{%
		Buchholz:2004:PPO%
		}.
\NAMECITE{aided}{%
		Nithyanand:2011:UAR%
		}.
\NAMECITE{algebra}{%
		Ryan:2001:PAN%
		}.
\NAMECITE{algebraic}{%
		Aldini:2004:PAA,%
		Cortier:2006:SAP%
		}.
\NAMECITE{Algebras}{%
		Focardi:1995:CSP,%
		Bistarelli:2005:RMR%
		}.
\NAMECITE{Algorithm}{%
		Ammann:1995:CCS,%
		Hinke:1995:FAD%
		}.
\NAMECITE{algorithms}{%
		Akinyele:2014:MGA,%
		Liu:2015:JSD,%
		Luckett:2018:ISM,%
		McDermott:1996:APC,%
		Stolfo:2005:CET%
		}.
\NAMECITE{Aligning}{%
		Basin:2014:OFA%
		}.
\NAMECITE{Allocation}{%
		Millen:1993:RAM%
		}.
\NAMECITE{among}{%
		Majumdar:2019:LPD,%
		Zhang:2018:PPV%
		}.
\NAMECITE{Amongst}{%
		Chen:1995:DTA%
		}.
\NAMECITE{analyses}{%
		Paulson:2001:RBS%
		}.
\NAMECITE{Analysing}{%
		Kamil:2011:ATS,%
		Lowe:2004:APS%
		}.
\NAMECITE{Analysis}{%
		Hinke:1995:FAD,%
		Meadows:1992:AFM,%
		Norman:2006:APC,%
		Syverson:1992:KBS,%
		Wray:1992:ACT,%
		Aldini:2004:PAA,%
		Alshehri:2015:FFS,%
		Armando:2012:SAS,%
		Atluri:2000:PNB,%
		Bansal:2014:DCA,%
		Belim:2015:AGR,%
		Bistarelli:2005:RMR,%
		Bodei:2016:CAS,%
		Bugliesi:2005:NIP,%
		Buttyan:2004:FMR,%
		Centenaro:2013:TBA,%
		Cervesato:2005:CBS,%
		Choo:2017:DOS,%
		Clark:2007:SAQ,%
		Collberg:2005:SWF,%
		Corin:2007:TAS,%
		Cortier:2013:AFH,%
		Cortier:2017:FAN,%
		Cremers:2019:SAG,%
		Delaune:2010:FSA,%
		Dimitrakakis:2015:ELA,%
		Eamani:2006:LBP,%
		Giustolisi:2018:ICM,%
		Gray:1998:PSC,%
		Guttman:2004:FAP,%
		Jovanovic:2010:SAD,%
		Kanovich:2017:TCC,%
		Kremer:2010:CSA,%
		Kremer:2016:AAS,%
		Lester:2016:IFA,%
		Lin:2017:SAC,%
		Lowden:2015:DPA,%
		Lowe:1998:CCA,%
		Meadows:2001:CBF,%
		Meadows:2004:FSA,%
		Millen:2005:SPAa,%
		Millen:2005:SPAb,%
		Modersheim:2010:CDS,%
		Pescape:2005:EAA,%
		Ramakrishnan:2002:MBA,%
		Ranise:2018:AEA,%
		Rieck:2011:AAM,%
		Shmatikov:2004:PAA,%
		Song:2001:ANA,%
		Soupionis:2014:GTA,%
		Toahchoodee:2011:FAS,%
		Uribe:2007:AAF,%
		Uzun:2014:SAT,%
		Vigna:2009:REA,%
		Volpano:1996:STS,%
		Wang:2008:IIA,%
		Warinschi:2005:CAN,%
		Yang:2015:PAA,%
		Zhang:2011:UTA,%
		Bodei:2005:CSP%
		}.
\NAMECITE{Analytic}{%
		McDermott:1996:APC%
		}.
\NAMECITE{analyzed}{%
		Teepe:2003:WAS%
		}.
\NAMECITE{{Analyzer}}{%
		Meadows:2004:FSA%
		}.
\NAMECITE{Analyzing}{%
		Conrad:2010:AUT,%
		Continella:2017:PAW,%
		Urban:2019:ALP,%
		Wehner:2007:AWN,%
		Avoine:2011:FAR%
		}.
\NAMECITE{{Android}}{%
		Cheng:2017:SFN,%
		Jing:2016:TML,%
		Merlo:2015:MEP%
		}.
\NAMECITE{announced}{%
		Campbell:2003:ECP%
		}.
\NAMECITE{Anomaly}{%
		Stolfo:2005:CET,%
		Li:2002:EPA,%
		Vigna:2009:REA%
		}.
\NAMECITE{anomaly-based}{%
		Vigna:2009:REA%
		}.
\NAMECITE{Anonymity}{%
		Blundo:1995:MKD,%
		Halpern:2005:AIH,%
		Camenisch:1997:DPS,%
		Hughes:2004:IHA,%
		Levine:2002:HMB,%
		Phatak:2013:SIN,%
		Shmatikov:2004:PAA%
		}.
\NAMECITE{anonymity-revoking}{%
		Camenisch:1997:DPS%
		}.
\NAMECITE{anonymization}{%
		Dewri:2011:EPV,%
		Shin:2011:PAM%
		}.
\NAMECITE{Anonymizing}{%
		AlBouna:2015:ATD,%
		Peddinti:2014:WSQ%
		}.
\NAMECITE{anonymous}{%
		Sherwood:2005:PPS%
		}.
\NAMECITE{answering}{%
		Chen:2018:KSQ%
		}.
\NAMECITE{answers}{%
		Bottcher:2009:IDA%
		}.
\NAMECITE{{Antigone}}{%
		McDaniel:2006:EPA%
		}.
\NAMECITE{{APIs}}{%
		Hedin:2016:IFS%
		}.
\NAMECITE{applets}{%
		Bieber:2002:CSI%
		}.
\NAMECITE{application}{%
		Balagani:2018:IAC,%
		Buttyan:2004:FMR,%
		Nenadic:2005:RBV,%
		Quisquater:1997:ASS,%
		Vaidya:2005:SSI%
		}.
\NAMECITE{Applications}{%
		Gupta:1992:TTP,%
		Bisht:2014:ADP,%
		Buldas:2002:ECA,%
		Chen:2016:PEP,%
		DeAngelis:2011:SAT,%
		Demurjian:1997:TDP,%
		Giffin:2017:HPD,%
		Gray:1998:PSC,%
		Jovanovic:2010:SAD,%
		Kusters:2012:GBD,%
		Salva:2019:CAS%
		}.
\NAMECITE{applied}{%
		Blanchet:2018:ARE,%
		Delaune:2010:SBA%
		}.
\NAMECITE{Applying}{%
		Belsis:2008:AEF,%
		Belsis:2009:AEF,%
		Meadows:1992:AFM%
		}.
\NAMECITE{Approach}{%
		Bevier:1995:SBA,%
		Woo:1993:ADS,%
		Aldini:2004:PAA,%
		Alomair:2011:SLC,%
		Bertino:2000:LBA,%
		Bertino:2005:ACU,%
		Bistarelli:2005:SCB,%
		Cheng:2017:SFN,%
		Ciriani:2012:OAE,%
		Foley:2011:MSP,%
		Hughes:2004:IHA,%
		Kolesnikov:2013:SAP,%
		Mantel:2003:UAS,%
		Paulson:1998:IAV,%
		Song:2001:ANA%
		}.
\NAMECITE{approaches}{%
		Bergholz:2010:NFA%
		}.
\NAMECITE{Approximate}{%
		DiPierro:2004:ANI,%
		Nayyar:2008:AAM%
		}.
\NAMECITE{{APTs}}{%
		Rubio:2019:TAI%
		}.
\NAMECITE{Architecture}{%
		Adaikkalavan:2012:MSD,%
		Thomas:1993:KAM,%
		Altenschmidt:2003:SMR,%
		Dainotti:2009:CAA,%
		Hale:2000:TBA,%
		McDermott:1996:APC,%
		deAmorim:2016:VIF%
		}.
\NAMECITE{architectures}{%
		Lowden:2015:DPA%
		}.
\NAMECITE{area}{%
		Aziz:2009:CSA%
		}.
\NAMECITE{argument}{%
		Lipmaa:2013:MEC%
		}.
\NAMECITE{{ARM}}{%
		Guanciale:2016:PSM%
		}.
\NAMECITE{aspects}{%
		Chatzikokolakis:2014:FAS%
		}.
\NAMECITE{assessment}{%
		Blyth:2006:PRT,%
		Malacaria:2010:RAS,%
		Stakhanova:2012:TCS%
		}.
\NAMECITE{assignment}{%
		Sandhu:1999:RBA%
		}.
\NAMECITE{assignments}{%
		Alhebaishi:2019:MIT,%
		Vaidya:2009:ERM%
		}.
\NAMECITE{associating}{%
		Salva:2019:CAS%
		}.
\NAMECITE{association}{%
		Vaidya:2005:SSI%
		}.
\NAMECITE{associations}{%
		DeCapitanidiVimercati:2015:LAI%
		}.
\NAMECITE{Assurance}{%
		Baldwin:2010:AFI,%
		Epstein:1993:HAW,%
		Cheng:2009:QAV%
		}.
\NAMECITE{Assuring}{%
		Hallgren:2018:AB%
		}.
\NAMECITE{asymmetric}{%
		Gordon:2004:TEA%
		}.
\NAMECITE{Asynchronous}{%
		Yahalom:1993:OAT%
		}.
\NAMECITE{{Athena}}{%
		Song:2001:ANA%
		}.
\NAMECITE{{ATM}}{%
		Chuang:1996:SAN%
		}.
\NAMECITE{attack}{%
		Eckmann:2002:SAL,%
		Gupta:2018:SCA,%
		Homer:2013:AVM,%
		Kreitz:2013:FSW,%
		Nayyar:2008:AAM,%
		Ourston:2004:CIA,%
		Salva:2019:CAS,%
		Wang:2008:IIA%
		}.
\NAMECITE{attackers}{%
		Radosavac:2007:DIM%
		}.
\NAMECITE{Attacking}{%
		Cortier:2013:AFH%
		}.
\NAMECITE{attacks}{%
		Backes:2008:KDM,%
		Bansal:2014:DCA,%
		Baudet:2010:GAC,%
		Broadfoot:2004:EAW,%
		Bugliesi:2015:CPB,%
		Collberg:2005:SWF,%
		Dainotti:2009:CAA,%
		Daniels:1999:IHA,%
		Diao:2018:AMU,%
		Hancke:2011:PES,%
		Heather:2003:HPT,%
		Heiderich:2014:SAS,%
		Kopf:2011:ADI,%
		Li:2010:CCB,%
		Lowe:2004:APS,%
		Molsa:2005:MDS,%
		Ourston:2004:CIA,%
		Pereira:2003:SAU,%
		Pescape:2005:EAA,%
		Schlesinger:2014:MPA,%
		Shirvanian:2018:SVI,%
		Skormin:2007:PIA,%
		Vigna:2009:REA,%
		Yu:2019:CAF,%
		Zhou:2013:SVC%
		}.
\NAMECITE{attempt}{%
		Matsumoto:1998:HCC%
		}.
\NAMECITE{attribute}{%
		Li:2015:NAC,%
		Pirretti:2010:SAB,%
		Tian:2019:DSD%
		}.
\NAMECITE{attribute-based}{%
		Li:2015:NAC,%
		Pirretti:2010:SAB,%
		Tian:2019:DSD%
		}.
\NAMECITE{attribution}{%
		Taglienti:2016:UAP%
		}.
\NAMECITE{auction}{%
		Dreier:2015:BFP%
		}.
\NAMECITE{audio}{%
		Soupionis:2014:GTA%
		}.
\NAMECITE{audit}{%
		Daniels:1999:IHA%
		}.
\NAMECITE{Auditable}{%
		Franklin:1998:AML%
		}.
\NAMECITE{auditing}{%
		Majumdar:2019:LPD%
		}.
\NAMECITE{augmented}{%
		Sun:2012:TAV%
		}.
\NAMECITE{Authentic}{%
		Devanbu:2003:ADP%
		}.
\NAMECITE{authenticated}{%
		Pereira:2003:SAU,%
		Pereira:2006:IBS%
		}.
\NAMECITE{Authentication}{%
		Chen:1995:DTA,%
		Gligor:1993:IRA,%
		Guttman:2004:ATD,%
		Horn:2000:APF,%
		Nguyen:2011:APB,%
		Quisquater:1997:ASS,%
		Tardo:1992:SGA,%
		Argyropoulos:2010:BTP,%
		Balagani:2018:IAC,%
		Basin:2013:PRI,%
		Bergadano:1997:SAP,%
		Bhargav-Spantzel:2007:PPM,%
		Bugliesi:2007:DTA,%
		Cremers:2019:SAG,%
		Devanbu:2004:FAX,%
		Dimitrakakis:2015:ELA,%
		Goodrich:2008:NFI,%
		Guttman:2004:FAP,%
		Halevi:2011:TBH,%
		Hsu:2011:WLC,%
		Jiwa:1996:BAD,%
		Mannan:2011:LPD,%
		Soupionis:2014:GTA%
		}.
\NAMECITE{Authenticity}{%
		Gordon:2003:ATS%
		}.
\NAMECITE{Author}{%
		Anonymous:1992:AI,%
		Anonymous:1993:AI,%
		Anonymous:1995:AIV,%
		Anonymous:1996:AIV,%
		Anonymous:1997:AIV,%
		Anonymous:1998:AIV,%
		Anonymous:2001:AIV,%
		Anonymous:2002:AIV,%
		Anonymous:2003:AIV,%
		Anonymous:2004:AIV,%
		Anonymous:2005:AIV,%
		Anonymous:2006:AIV,%
		Anonymous:2007:AIV,%
		Anonymous:2008:AIV,%
		Anonymous:2009:AIV,%
		Anonymous:2010:AIV,%
		Anonymous:2011:AIV,%
		Anonymous:2012:AIV,%
		Anonymous:2013:AIV,%
		Anonymous:2014:AIV,%
		Anonymous:2015:AIV,%
		Anonymous:2016:AIV,%
		Anonymous:2017:AIV%
		}.
\NAMECITE{authorities}{%
		Murray:2008:NDA%
		}.
\NAMECITE{Authorization}{%
		Bertino:1995:EAM,%
		DeCapitanidiVimercati:1997:ASE,%
		DeCapitanidiVimercati:2011:AED,%
		Karjoth:2000:ACS,%
		Woo:1993:ADS,%
		Atluri:2000:PNB,%
		Bansal:2014:DCA,%
		Basin:2014:OFA,%
		Becker:2010:SDS,%
		Bertino:2000:TAB,%
		Casati:1998:EWA,%
		Garg:2012:SAL,%
		McDaniel:2006:EPA,%
		Skalka:2007:RMD%
		}.
\NAMECITE{authorizations}{%
		Castano:1997:ADG,%
		DeCapitanidiVimercati:2018:EAW%
		}.
\NAMECITE{authors}{%
		Anonymous:1996:IA%
		}.
\NAMECITE{Automated}{%
		Bisht:2014:ADP,%
		Blanchet:2018:ARE,%
		Castano:1997:ADG,%
		Kremer:2016:AAS,%
		Ranise:2018:AEA,%
		Armando:2012:SAS,%
		Cabuk:2010:TAS,%
		Staniford:2002:PAD,%
		Zhang:2004:RAR%
		}.
\NAMECITE{Automatic}{%
		Blanchet:2009:AVC,%
		Rieck:2011:AAM,%
		Uribe:2007:AAF,%
		Song:2001:ANA,%
		Zhou:2012:FAS%
		}.
\NAMECITE{Automatically}{%
		Kopf:2011:ADI,%
		dosSantos:2017:AFE%
		}.
\NAMECITE{Automating}{%
		Guette:2009:ATK%
		}.
\NAMECITE{autoregressive}{%
		Nayyar:2008:AAM%
		}.
\NAMECITE{availability}{%
		Biskup:2008:PCQ%
		}.
\NAMECITE{aware}{%
		Ardagna:2008:PAA,%
		Bodei:2016:CAS,%
		Han:2018:RAM,%
		Rafnsson:2016:SME%
		}.
\NAMECITE{awareness}{%
		Myers:2013:BBC%
		}.


\NAMECITE{ballot}{%
		Cortier:2013:AFH%
		}.
\NAMECITE{bandwidth}{%
		DiPietro:2004:KMH,%
		Nguyen:2011:APB%
		}.
\NAMECITE{barriers}{%
		Blanchet:2018:ARE%
		}.
\NAMECITE{based}{%
		Ahn:2012:PDR,%
		Alam:2008:CBR,%
		Argyropoulos:2010:BTP,%
		Armando:2012:SAS,%
		Atluri:2000:PNB,%
		Atluri:2000:SBE,%
		Barbara:2003:CBC,%
		Belim:2015:AGR,%
		Bertino:2000:LBA,%
		Bevier:1995:SBA,%
		Bistarelli:2005:SCB,%
		Braghin:2006:RBA,%
		Candebat:2006:SPM,%
		Casola:2007:PBM,%
		Centenaro:2013:TBA,%
		Chen:2014:PUQ,%
		Cho:2004:GKR,%
		Continella:2017:PAW,%
		DSouza:2011:MCT,%
		DSouza:2016:MCT,%
		Dainotti:2009:CAA,%
		Demay:2019:PSS,%
		Deng:2011:ZKB,%
		Diao:2018:AMU,%
		Duggan:2004:TBC,%
		Eamani:2006:LBP,%
		Eckmann:2002:SAL,%
		Gritzalis:2011:SPM,%
		Grothoff:2009:TBS,%
		Hale:2000:TBA,%
		Halevi:2011:TBH,%
		Kremer:2003:GBV,%
		Krukow:2008:LFH,%
		Kusters:2012:GBD,%
		Levine:2002:HMB,%
		Levy:2018:SHB,%
		Li:2010:CCB,%
		Li:2015:NAC,%
		Lin:2017:SAC,%
		Lippert:2006:LCM,%
		Luo:2016:MCM,%
		Mardziel:2013:DEK,%
		Meadows:2001:CBF,%
		Merlo:2015:MEP,%
		Modersheim:2010:CDS,%
		Nguyen:2011:APB,%
		Nithyanand:2011:UAR,%
		Pirretti:2010:SAB,%
		Politz:2014:TBV,%
		Preda:2009:SBC,%
		Ramakrishnan:2002:MBA,%
		Ray:1998:SBT,%
		Rocchetto:2017:IBM,%
		Roscheisen:1997:NCD,%
		Sandhu:1999:RBA,%
		Shin:2011:PAM,%
		Shmatikov:2005:RBT,%
		Soupionis:2014:GTA,%
		Tian:2019:DSD,%
		Toahchoodee:2011:FAS,%
		Uzun:2014:SAT,%
		Vaidya:2009:ERM,%
		Vavilis:2016:SBQ,%
		Vigna:1999:NNB,%
		Vigna:2009:REA,%
		Wang:2004:CBI,%
		Wang:2007:PBI,%
		Wang:2008:CBH,%
		Wuller:2017:DPP,%
		Yang:2015:PAA,%
		Yarmand:2013:BBA,%
		vanOorschot:2011:EPC,%
		Nenadic:2005:RBV%
		}.
\NAMECITE{bases}{%
		Bertino:1999:SOD,%
		Bertino:2000:TAB%
		}.
\NAMECITE{Basic}{%
		Jacob:1992:BTA%
		}.
\NAMECITE{batch}{%
		Akinyele:2014:MGA%
		}.
\NAMECITE{{Bayes}}{%
		Chatzikokolakis:2008:BRI%
		}.
\NAMECITE{Beacons}{%
		Jiwa:1996:BAD%
		}.
\NAMECITE{been}{%
		Gordon:2011:IIS%
		}.
\NAMECITE{Behavior}{%
		Yarmand:2013:BBA,%
		Rieck:2011:AAM,%
		Wespi:2000:FVV%
		}.
\NAMECITE{Behavior-based}{%
		Yarmand:2013:BBA%
		}.
\NAMECITE{Belief}{%
		Syverson:1992:KBS%
		}.
\NAMECITE{beliefs}{%
		Clarkson:2009:QIF%
		}.
\NAMECITE{{Bell}}{%
		Millen:1996:EPB%
		}.
\NAMECITE{{BetterTimes}}{%
		Hallgren:2018:AB%
		}.
\NAMECITE{between}{%
		Cervesato:2005:CBS,%
		Paulson:2001:RBS%
		}.
\NAMECITE{{BGV}}{%
		Gentry:2013:FSB%
		}.
\NAMECITE{{BGV}-style}{%
		Gentry:2013:FSB%
		}.
\NAMECITE{bi}{%
		Crampton:2017:BOW%
		}.
\NAMECITE{bi-objective}{%
		Crampton:2017:BOW%
		}.
\NAMECITE{bilinear}{%
		Kremer:2010:CSA%
		}.
\NAMECITE{Biometric}{%
		Argyropoulos:2010:BTP%
		}.
\NAMECITE{biometrics}{%
		Bhargav-Spantzel:2007:PPM%
		}.
\NAMECITE{bisimulation}{%
		Delaune:2010:SBA%
		}.
\NAMECITE{{Bitcoin}}{%
		Yu:2019:CAF%
		}.
\NAMECITE{Black}{%
		Myers:2013:BBC%
		}.
\NAMECITE{Black-box}{%
		Myers:2013:BBC%
		}.
\NAMECITE{Blind}{%
		Aimeur:2006:BEC,%
		Blazy:2013:SBS%
		}.
\NAMECITE{block}{%
		Ma:2019:TOP%
		}.
\NAMECITE{boots}{%
		Maurer:1996:CSB%
		}.
\NAMECITE{bounded}{%
		Durgin:2004:MRC,%
		Tiplea:2008:SBS%
		}.
\NAMECITE{bounding}{%
		Avoine:2011:FAR,%
		Boureanu:2015:PPS,%
		Kanovich:2017:TCC,%
		Yasuoka:2011:BPQ%
		}.
\NAMECITE{bounds}{%
		Kopf:2011:ADI%
		}.
\NAMECITE{box}{%
		Myers:2013:BBC,%
		Sewell:2003:SCU%
		}.
\NAMECITE{{Brandt}}{%
		Dreier:2015:BFP%
		}.
\NAMECITE{breaches}{%
		Campbell:2003:ECP,%
		Gordon:2011:IIS%
		}.
\NAMECITE{Broadcast}{%
		Blundo:1995:MKD%
		}.
\NAMECITE{browser}{%
		Arapinis:2013:PSC,%
		Bugliesi:2015:CPB%
		}.
\NAMECITE{browsers}{%
		Bergadano:1997:SAP,%
		Giustolisi:2018:ICM%
		}.
\NAMECITE{browsing}{%
		Syverson:1997:PWB%
		}.
\NAMECITE{{BRSIM}}{%
		Backes:2008:KDM%
		}.
\NAMECITE{{BRSIM/UC}}{%
		Backes:2008:KDM%
		}.
\NAMECITE{{BRSIM/UC}-soundness}{%
		Backes:2008:KDM%
		}.
\NAMECITE{buffer}{%
		Zhang:2011:UTA%
		}.
\NAMECITE{Building}{%
		Liu:2017:FBO,%
		Pereira:2006:IBS%
		}.
\NAMECITE{built}{%
		Gupta:2018:SCA%
		}.
\NAMECITE{built-in}{%
		Gupta:2018:SCA%
		}.
\NAMECITE{business}{%
		Basin:2014:OFA%
		}.


\NAMECITE{{C}}{%
		Dupressoir:2014:GGP%
		}.
\NAMECITE{{CA}}{%
		Braun:2014:CTM%
		}.
\NAMECITE{cache}{%
		Ma:2019:TOP%
		}.
\NAMECITE{calculus}{%
		Acar:2013:CCP,%
		Blanchet:2018:ARE,%
		Braghin:2006:RBA,%
		Delaune:2010:SBA,%
		Hamadou:2010:CPS,%
		Maurer:1996:CSB%
		}.
\NAMECITE{Calibrating}{%
		Hamadou:2010:CPS%
		}.
\NAMECITE{Call}{%
		Anonymous:1992:CPE,%
		Anonymous:1995:CP%
		}.
\NAMECITE{calls}{%
		Hofmeyr:1998:IDU%
		}.
\NAMECITE{Can}{%
		Kobsa:2013:CJV,%
		Bates:2015:AWK%
		}.
\NAMECITE{capability}{%
		Murray:2008:NDA%
		}.
\NAMECITE{capable}{%
		Traynor:2008:EOF%
		}.
\NAMECITE{{CAPTCHA}}{%
		Soupionis:2014:GTA%
		}.
\NAMECITE{{CAPTCHA}-based}{%
		Soupionis:2014:GTA%
		}.
\NAMECITE{{CAPTCHAs}}{%
		Lorenzi:2018:TDR,%
		Mohamed:2017:SUD%
		}.
\NAMECITE{capture}{%
		Shroff:2008:SIF%
		}.
\NAMECITE{card}{%
		Bella:2003:IVS,%
		Bieber:2002:CSI%
		}.
\NAMECITE{Cardinality}{%
		Wang:2004:CBI,%
		Vaidya:2005:SSI%
		}.
\NAMECITE{Cardinality-based}{%
		Wang:2004:CBI%
		}.
\NAMECITE{cards}{%
		Schellhorn:2002:VFS%
		}.
\NAMECITE{Cascade}{%
		Horton:1993:CVP,%
		Bistarelli:2005:SCB,%
		Dainotti:2009:CAA%
		}.
\NAMECITE{case}{%
		Garg:2012:SAL%
		}.
\NAMECITE{cases}{%
		Adao:2009:SCF%
		}.
\NAMECITE{{Casper}}{%
		Lowe:1998:CCA%
		}.
\NAMECITE{catalogue}{%
		Salva:2019:CAS%
		}.
\NAMECITE{causal}{%
		dAusbourg:1996:CCD%
		}.
\NAMECITE{causality}{%
		Sewell:2003:SCU%
		}.
\NAMECITE{causes}{%
		Calzavara:2019:SSH%
		}.
\NAMECITE{{CCA1}}{%
		Myers:2013:BBC%
		}.
\NAMECITE{cellular}{%
		Hsu:2011:WLC,%
		Traynor:2008:EOF%
		}.
\NAMECITE{centers}{%
		Cabuk:2010:TAS%
		}.
\NAMECITE{centric}{%
		Roscheisen:1997:NCD%
		}.
\NAMECITE{centricity}{%
		Bhargav-Spantzel:2007:UCT%
		}.
\NAMECITE{Certificate}{%
		Clarke:2001:CCD,%
		Hu:2009:CRR,%
		Buldas:2002:ECA,%
		Chadwick:2010:ICR,%
		Li:2010:CCB,%
		Wright:2001:DGM,%
		Wright:2002:DGM%
		}.
\NAMECITE{certificate-based}{%
		Li:2010:CCB%
		}.
\NAMECITE{Certificates}{%
		Tardo:1992:SGA,%
		Giustolisi:2018:ICM,%
		Lippert:2006:LCM%
		}.
\NAMECITE{certified}{%
		Nenadic:2005:RBV%
		}.
\NAMECITE{chain}{%
		Clarke:2001:CCD,%
		Li:2003:DCC%
		}.
\NAMECITE{challenge}{%
		Taglienti:2016:UAP%
		}.
\NAMECITE{change}{%
		Hauser:1996:RSP%
		}.
\NAMECITE{channel}{%
		Gupta:2018:SCA,%
		Kelsey:2000:SCC,%
		Kopf:2011:ADI,%
		Stergiopoulos:2019:USC%
		}.
\NAMECITE{Channels}{%
		Blundo:1995:MKD,%
		Hu:1992:RTC,%
		Wray:1992:ACT,%
		Dimitrakakis:2015:ELA,%
		Guan:2017:SKE,%
		Ma:2019:TOP,%
		Nguyen:2011:APB%
		}.
\NAMECITE{Characterizing}{%
		Preda:2018:CPD%
		}.
\NAMECITE{check}{%
		Shen:2015:DIC,%
		Tiplea:2008:SBS%
		}.
\NAMECITE{checked}{%
		Meier:2013:ECM%
		}.
\NAMECITE{checkers}{%
		Roscoe:1999:PSP%
		}.
\NAMECITE{Checking}{%
		Bieber:2002:CSI,%
		Bodei:2005:CSP,%
		Besson:2001:MCS,%
		Chen:2017:RDI,%
		DSouza:2011:MCT,%
		DSouza:2016:MCT,%
		Jha:2004:MCS,%
		Lowe:1999:TCR,%
		Zhang:2008:SVA%
		}.
\NAMECITE{checks}{%
		DeCapitanidiVimercati:2016:EIC%
		}.
\NAMECITE{checksum}{%
		Barbara:2003:CBC%
		}.
\NAMECITE{checksum-based}{%
		Barbara:2003:CBC%
		}.
\NAMECITE{{Chinese}}{%
		Atluri:2004:CWS%
		}.
\NAMECITE{ciphers}{%
		Kelsey:2000:SCC,%
		Ma:2019:TOP%
		}.
\NAMECITE{ciphertexts}{%
		Nieto:2013:PVC%
		}.
\NAMECITE{circuit}{%
		Carter:2016:SOG%
		}.
\NAMECITE{Classification}{%
		Focardi:1995:CSP,%
		Belsis:2008:AEF,%
		Belsis:2009:AEF%
		}.
\NAMECITE{classified}{%
		Giacobazzi:2010:ACU%
		}.
\NAMECITE{click}{%
		vanOorschot:2011:EPC%
		}.
\NAMECITE{click-based}{%
		vanOorschot:2011:EPC%
		}.
\NAMECITE{climate}{%
		Armknecht:2019:PIR%
		}.
\NAMECITE{{Cliques}}{%
		Pereira:2006:IBS%
		}.
\NAMECITE{{Cliques}-type}{%
		Pereira:2006:IBS%
		}.
\NAMECITE{cloud}{%
		Arapinis:2013:PSC,%
		Chen:2014:PUQ,%
		DeCapitanidiVimercati:2016:EIC,%
		Han:2018:RAM,%
		Lin:2017:SAC,%
		Shen:2015:DIC,%
		Zhang:2018:PPV,%
		Zhou:2013:SVC%
		}.
\NAMECITE{cloud-based}{%
		Chen:2014:PUQ%
		}.
\NAMECITE{{cloud1}}{%
		Yuan:2015:PPC%
		}.
\NAMECITE{clouds}{%
		Alhebaishi:2019:MIT,%
		Majumdar:2019:LPD%
		}.
\NAMECITE{code}{%
		Preda:2009:SBC,%
		Sewell:2003:SCU,%
		Welch:2002:URM,%
		Xu:2009:ASL%
		}.
\NAMECITE{codes}{%
		Argyropoulos:2010:BTP,%
		Skormin:2007:PIA%
		}.
\NAMECITE{coercion}{%
		Kusters:2012:GBD%
		}.
\NAMECITE{cognitive}{%
		Mohamed:2017:SUD%
		}.
\NAMECITE{collaboration}{%
		Ahn:2012:PDR%
		}.
\NAMECITE{Collaborative}{%
		Foley:1995:SSC,%
		Sun:2012:TAV%
		}.
\NAMECITE{collection}{%
		Bertino:1999:SOD%
		}.
\NAMECITE{collective}{%
		Cuppens:2013:FSM%
		}.
\NAMECITE{colluding}{%
		Radosavac:2007:DIM%
		}.
\NAMECITE{Collusion}{%
		Yu:2019:CAF%
		}.
\NAMECITE{combined}{%
		Vigna:2009:REA%
		}.
\NAMECITE{combiners}{%
		Herzberg:2009:FPT%
		}.
\NAMECITE{Commerce}{%
		Aimeur:2006:BEC,%
		Bryce:1997:CEI%
		}.
\NAMECITE{Communication}{%
		Visconti:2013:SIA,%
		Jing:2016:TML,%
		Luo:2016:MCM,%
		Sherwood:2005:PPS,%
		Xu:2007:SGC%
		}.
\NAMECITE{communications}{%
		DiPietro:2010:HKS%
		}.
\NAMECITE{community}{%
		Choo:2017:DOS%
		}.
\NAMECITE{comparative}{%
		Iheagwara:2003:CEE,%
		Nguyen:2011:APB,%
		Stolfo:2005:CET%
		}.
\NAMECITE{comparing}{%
		Tripunitara:2007:TCE%
		}.
\NAMECITE{comparison}{%
		Cervesato:2005:CBS,%
		McDermott:1996:APC%
		}.
\NAMECITE{compiled}{%
		Welch:2002:URM%
		}.
\NAMECITE{compiler}{%
		Corin:2008:SCS,%
		Lowe:1998:CCA,%
		Luo:2016:MCM,%
		Zhang:2011:UTA%
		}.
\NAMECITE{complete}{%
		Tiplea:2008:SBS%
		}.
\NAMECITE{Completeness}{%
		Micciancio:2004:CTA,%
		Adao:2009:SCF,%
		Lowe:1999:TCR%
		}.
\NAMECITE{complex}{%
		Taglienti:2016:UAP%
		}.
\NAMECITE{complexity}{%
		Durgin:2004:MRC,%
		Kanovich:2017:TCC,%
		Ourston:2004:CIA%
		}.
\NAMECITE{Composability}{%
		Zakinthinos:1995:CNI,%
		Bohl:2016:SUC%
		}.
\NAMECITE{composition}{%
		Bartoletti:2009:PVS,%
		Costa:2012:MPS,%
		Neville:2018:RAF,%
		Sewell:2003:SCU%
		}.
\NAMECITE{Compositional}{%
		Bossi:2007:CIF,%
		Datta:2005:DSC,%
		Durgin:2003:CLP%
		}.
\NAMECITE{compression}{%
		Wehner:2007:AWN%
		}.
\NAMECITE{computation}{%
		Blanton:2012:SOC%
		}.
\NAMECITE{Computational}{%
		Backes:2010:CSS,%
		Baudet:2010:GAC,%
		Kanovich:2017:TCC,%
		Roy:2010:ITP,%
		Warinschi:2005:CAN%
		}.
\NAMECITE{Computationally}{%
		Kremer:2010:CSA,%
		Cade:2015:PGI,%
		Lipmaa:2013:MEC%
		}.
\NAMECITE{Computer}{%
		Anonymous:1992:CPE,%
		Bella:2009:JCS,%
		Foley:1995:SSC,%
		Littlewood:1993:TOM,%
		Buchholz:2004:PPO,%
		Hagen:2008:PAU,%
		Matsumoto:1998:HCC,%
		Skormin:2007:PIA%
		}.
\NAMECITE{computers}{%
		Mannan:2011:LPD%
		}.
\NAMECITE{computing}{%
		Arapinis:2013:PSC,%
		Spalazzi:2015:SIS,%
		Zhou:2013:SVC%
		}.
\NAMECITE{concept}{%
		Rubio:2019:TAI%
		}.
\NAMECITE{concrete}{%
		Bansal:2014:DCA%
		}.
\NAMECITE{Concurrency}{%
		Ammann:1995:CCS,%
		DeCapitanidiVimercati:2013:SCM%
		}.
\NAMECITE{concurrent}{%
		Barthe:2007:SIF,%
		Bossi:2007:CIF,%
		Volpano:1999:PNC%
		}.
\NAMECITE{conditional}{%
		Halpern:2017:QQP%
		}.
\NAMECITE{confidentiality}{%
		Ciriani:2012:OAE,%
		DeCapitanidiVimercati:2018:EAW,%
		Ngo:2014:EVC%
		}.
\NAMECITE{configuration}{%
		Foley:2011:MSP,%
		Ramakrishnan:2002:MBA%
		}.
\NAMECITE{configurations}{%
		Uribe:2007:AAF%
		}.
\NAMECITE{Configuring}{%
		Aziz:2009:CSA%
		}.
\NAMECITE{confinement}{%
		Liu:2000:ICI%
		}.
\NAMECITE{connections}{%
		Stergiopoulos:2019:USC%
		}.
\NAMECITE{Conspiracy}{%
		Bishop:1996:CIF%
		}.
\NAMECITE{constant}{%
		Blazy:2019:VCT,%
		Yuan:2015:PPC%
		}.
\NAMECITE{constant-cost}{%
		Yuan:2015:PPC%
		}.
\NAMECITE{constant-time}{%
		Blazy:2019:VCT%
		}.
\NAMECITE{constrained}{%
		Dimitrakakis:2015:ELA%
		}.
\NAMECITE{Constraint}{%
		Alam:2008:CBR,%
		Modersheim:2010:CDS,%
		Bistarelli:2005:SCB%
		}.
\NAMECITE{constraint-based}{%
		Bistarelli:2005:SCB,%
		Modersheim:2010:CDS%
		}.
\NAMECITE{constraints}{%
		Casati:1998:EWA,%
		Ciriani:2012:OAE%
		}.
\NAMECITE{construction}{%
		He:2011:SCP,%
		Liu:2017:FBO,%
		Meier:2013:ECM,%
		Myers:2013:BBC%
		}.
\NAMECITE{Constructions}{%
		Li:2010:CCB,%
		Curtmola:2011:SSE%
		}.
\NAMECITE{constructs}{%
		Malacaria:2010:RAS%
		}.
\NAMECITE{consumption}{%
		Luckett:2018:ISM,%
		Merlo:2015:MEP%
		}.
\NAMECITE{contactless}{%
		Sinha:2011:SSS%
		}.
\NAMECITE{Content}{%
		Davidson:2016:CSS%
		}.
\NAMECITE{Context}{%
		Bodei:2016:CAS,%
		Balagani:2018:IAC,%
		Ramanujam:2005:DCE%
		}.
\NAMECITE{Context-aware}{%
		Bodei:2016:CAS%
		}.
\NAMECITE{context-explicit}{%
		Ramanujam:2005:DCE%
		}.
\NAMECITE{contexts}{%
		Bossi:2005:IFS,%
		Focardi:2006:IFS%
		}.
\NAMECITE{contingency}{%
		He:2011:SCP%
		}.
\NAMECITE{contract}{%
		Norman:2006:APC%
		}.
\NAMECITE{Control}{%
		Ammann:1995:CCS,%
		Alam:2008:CBR,%
		Ammann:1996:EPM,%
		Ardagna:2008:PAA,%
		Ardagna:2010:ECP,%
		Armando:2012:SAS,%
		Bertino:2000:LBA,%
		Besson:2001:MCS,%
		Besson:2010:VRA,%
		Biskup:2012:DPA,%
		Braghin:2006:RBA,%
		Broberg:2017:PPP,%
		Brose:2002:MAC,%
		Hale:2000:TBA,%
		Hale:2003:PAC,%
		Harrison:2009:AIF,%
		Krukow:2008:LFH,%
		Levy:2018:SHB,%
		Li:2015:NAC,%
		Maffei:2019:GOP,%
		Roscheisen:1997:NCD,%
		Schlesinger:2014:MPA,%
		Shin:2011:EES,%
		Toahchoodee:2011:FAS,%
		Tripunitara:2007:TCE,%
		Uzun:2014:SAT,%
		Vaidya:2009:ERM,%
		Wang:2004:CBI,%
		Wang:2007:PBI,%
		Yang:2015:PAA,%
		Yarmand:2013:BBA,%
		Zhang:2008:SVA,%
		Bodei:2005:CSP%
		}.
\NAMECITE{controlled}{%
		Biskup:2008:PCQ%
		}.
\NAMECITE{controller}{%
		Zavatteri:2019:LMS%
		}.
\NAMECITE{Controlling}{%
		dAusbourg:1996:CCD%
		}.
\NAMECITE{{CookiExt}}{%
		Bugliesi:2015:CPB%
		}.
\NAMECITE{cooperative}{%
		Bertino:2005:ACU,%
		Le:2016:MCR%
		}.
\NAMECITE{Coordinated}{%
		Ourston:2004:CIA,%
		Zhou:2013:SVC%
		}.
\NAMECITE{Coprocessor}{%
		Wang:2008:CBH%
		}.
\NAMECITE{Coprocessor-based}{%
		Wang:2008:CBH%
		}.
\NAMECITE{{CORBA}}{%
		Brose:2002:MAC,%
		Karjoth:2000:ACS%
		}.
\NAMECITE{core}{%
		Acar:2013:CCP%
		}.
\NAMECITE{correct}{%
		Dam:2010:PCI,%
		Fabrega:1999:SSP%
		}.
\NAMECITE{Correctability}{%
		Millen:1995:UFC%
		}.
\NAMECITE{correcting}{%
		Argyropoulos:2010:BTP%
		}.
\NAMECITE{Correctness}{%
		Atluri:1993:ASC,%
		McLean:1992:PNF%
		}.
\NAMECITE{correspondences}{%
		Blanchet:2009:AVC%
		}.
\NAMECITE{corruption}{%
		Barbara:2003:CBC%
		}.
\NAMECITE{Cost}{%
		Iheagwara:2004:CEM,%
		Alomair:2011:SLC,%
		Campbell:2003:ECP,%
		Le:2016:MCR,%
		Lee:2002:TCS,%
		Mallios:2015:PCE,%
		Meadows:2001:CBF,%
		Stakhanova:2012:TCS,%
		Yuan:2015:PPC%
		}.
\NAMECITE{cost-based}{%
		Meadows:2001:CBF%
		}.
\NAMECITE{cost-sensitive}{%
		Lee:2002:TCS,%
		Stakhanova:2012:TCS%
		}.
\NAMECITE{costs}{%
		Gordon:2011:IIS%
		}.
\NAMECITE{counterevidence}{%
		Buldas:2002:ECA%
		}.
\NAMECITE{coupon}{%
		Alshehri:2015:FFS%
		}.
\NAMECITE{coverage}{%
		Jadliwala:2013:OMZ%
		}.
\NAMECITE{Covert}{%
		Wray:1992:ACT%
		}.
\NAMECITE{{CPU}}{%
		Luckett:2018:ISM%
		}.
\NAMECITE{creation}{%
		Ammann:1996:EPM%
		}.
\NAMECITE{credential}{%
		Li:2003:DCC%
		}.
\NAMECITE{credentials}{%
		Winslett:1997:UDC%
		}.
\NAMECITE{crime}{%
		Hagen:2008:PAU%
		}.
\NAMECITE{cryptanalysis}{%
		Kelsey:2000:SCC%
		}.
\NAMECITE{{Crypto}}{%
		Shirvanian:2018:SVI%
		}.
\NAMECITE{Cryptographic}{%
		Crampton:2017:CEI,%
		Syverson:1992:KBS,%
		Bugliesi:2005:NIP,%
		Centenaro:2013:TBA,%
		Cohen:2003:FOV,%
		Cortier:2006:SAP,%
		Duggan:2004:TBC,%
		Dupressoir:2014:GGP,%
		Gordon:2004:TEA,%
		Gray:1998:PSC,%
		Kayem:2008:RCK,%
		Paulson:1998:IAV,%
		Yuen:2014:TCT%
		}.
\NAMECITE{cryptography}{%
		Ardagna:2010:ECP,%
		Demay:2019:PSS,%
		Lopez:2006:UPK,%
		Matsumoto:1998:HCC%
		}.
\NAMECITE{cubes}{%
		Wang:2004:CBI%
		}.
\NAMECITE{curves}{%
		Barthe:2013:VIH%
		}.
\NAMECITE{{CWASAR}}{%
		Bryce:1997:CEI%
		}.
\NAMECITE{{Cyberspace}}{%
		Gudes:1999:MSI%
		}.
\NAMECITE{cycle}{%
		Lippert:2006:LCM%
		}.
\NAMECITE{cycles}{%
		Adao:2009:SCF,%
		Backes:2008:KDM%
		}.


\NAMECITE{{DABKE}}{%
		Tian:2019:DSD%
		}.
\NAMECITE{Data}{%
		Notargiacomo:1995:MMI,%
		Yahalom:1993:OAT,%
		Adaikkalavan:2012:MSD,%
		Armknecht:2019:PIR,%
		Bezzi:2012:MPI,%
		Blyth:2006:PRT,%
		Byun:2009:PPI,%
		Cabuk:2010:TAS,%
		Chen:2017:RDI,%
		Ciriani:2011:SDO,%
		Ciriani:2012:OAE,%
		Clifton:2000:USS,%
		Daniels:1999:IHA,%
		DeCapitanidiVimercati:2013:SCM,%
		DeCapitanidiVimercati:2015:LAI,%
		Devanbu:2003:ADP,%
		Dewri:2011:EPV,%
		Dong:2011:SSE,%
		Giffin:2017:HPD,%
		He:2011:SCP,%
		Liu:2015:JSD,%
		Moataz:2018:SSE,%
		Roscoe:1999:PSP,%
		Schlesinger:2014:MPA,%
		Shen:2015:DIC,%
		Siaterlis:2005:OSA,%
		Vavilis:2016:SBQ,%
		Wang:2004:CBI,%
		Zouridaki:2007:HQT%
		}.
\NAMECITE{Data-Exchange}{%
		Yahalom:1993:OAT%
		}.
\NAMECITE{Database}{%
		Ammann:1995:CCS,%
		Atluri:1993:ASC,%
		Hinke:1995:FAD,%
		Castano:1997:ADG,%
		DeCapitanidiVimercati:1997:ASE,%
		DiCrescenzo:2016:PPP,%
		Le:2016:MCR,%
		McDermott:1996:APC,%
		Vavilis:2016:SBQ,%
		Yao:2009:EPT%
		}.
\NAMECITE{Databases}{%
		Bertino:1995:EAM,%
		Kang:1995:TMM,%
		Motro:1992:UMS,%
		Thomas:1993:KAM,%
		Cheng:2009:QAV,%
		Spalka:2000:SNS,%
		Teepe:2003:WAS,%
		Wang:2008:IIA%
		}.
\NAMECITE{datasets}{%
		AlBouna:2015:ATD%
		}.
\NAMECITE{{DDoS}}{%
		Phatak:2013:SIN,%
		Siaterlis:2005:OSA%
		}.
\NAMECITE{decentralized}{%
		Atluri:2004:CWS,%
		Becker:2010:SDS%
		}.
\NAMECITE{Decidability}{%
		Ramanujam:2005:DCE%
		}.
\NAMECITE{Deciphering}{%
		Gupta:2018:SCA%
		}.
\NAMECITE{decision}{%
		Heather:2005:DPE%
		}.
\NAMECITE{Declassification}{%
		Myers:2006:ERD,%
		Sabelfeld:2009:DDP,%
		Matos:2009:DND,%
		Rafnsson:2016:SME%
		}.
\NAMECITE{declassification-aware}{%
		Rafnsson:2016:SME%
		}.
\NAMECITE{decoys}{%
		Bowen:2012:SGI%
		}.
\NAMECITE{decremental}{%
		Zavatteri:2019:LMS%
		}.
\NAMECITE{Defeating}{%
		Shirvanian:2018:SVI%
		}.
\NAMECITE{defense}{%
		Chakraborty:2018:HAD,%
		Phatak:2013:SIN%
		}.
\NAMECITE{Defining}{%
		Lowe:2004:DIF%
		}.
\NAMECITE{definition}{%
		Kusters:2012:GBD%
		}.
\NAMECITE{definitions}{%
		Curtmola:2011:SSE,%
		Hofheinz:2009:PRS%
		}.
\NAMECITE{definitive}{%
		Demurjian:1997:TDP%
		}.
\NAMECITE{{Delay}}{%
		Ma:2019:TOP%
		}.
\NAMECITE{delegatable}{%
		Murray:2008:NDA%
		}.
\NAMECITE{Delegated}{%
		Shen:2015:DIC%
		}.
\NAMECITE{deletion}{%
		Bertino:1999:SOD%
		}.
\NAMECITE{delivery}{%
		Nenadic:2005:RBV,%
		Zouridaki:2007:HQT%
		}.
\NAMECITE{deniable}{%
		Tian:2019:DSD%
		}.
\NAMECITE{Denial}{%
		Millen:1993:RAM,%
		Meadows:2001:CBF,%
		Molsa:2005:MDS%
		}.
\NAMECITE{Dependencies}{%
		Bieber:1992:LVS,%
		Majumdar:2019:LPD,%
		Shroff:2008:SIF,%
		dAusbourg:1996:CCD%
		}.
\NAMECITE{dependent}{%
		Backes:2008:KDM%
		}.
\NAMECITE{Depender}{%
		Wright:2001:DGM,%
		Wright:2002:DGM%
		}.
\NAMECITE{deploy}{%
		dosSantos:2017:AFE%
		}.
\NAMECITE{Deploying}{%
		Batra:2019:DAP%
		}.
\NAMECITE{deposits}{%
		Yu:2019:CAF%
		}.
\NAMECITE{derivation}{%
		Castano:1997:ADG,%
		Datta:2005:DSC%
		}.
\NAMECITE{deriving}{%
		Kopf:2011:ADI%
		}.
\NAMECITE{Design}{%
		Becker:2010:SDS,%
		Lowden:2015:DPA,%
		Altenschmidt:2003:SMR,%
		Guttman:2004:ATD,%
		Kolesnikov:2013:SAP,%
		Liu:2015:JSD,%
		Roscheisen:1997:NCD,%
		Salva:2019:CAS,%
		Zhou:2008:SPR%
		}.
\NAMECITE{Designing}{%
		Wuller:2017:DPP,%
		Lorenzi:2018:TDR%
		}.
\NAMECITE{detect}{%
		Broadfoot:2004:EAW,%
		Daniels:1999:IHA%
		}.
\NAMECITE{Detecting}{%
		Bodei:2010:DPT,%
		Choo:2017:DOS,%
		Hinke:1995:FAD,%
		Radosavac:2007:DIM,%
		Shieh:1996:DIL,%
		Jovanovic:2010:SAD,%
		Wespi:2000:FVV%
		}.
\NAMECITE{Detection}{%
		Millen:1999:SSI,%
		Barbara:2003:CBC,%
		Bisht:2014:ADP,%
		Dainotti:2009:CAA,%
		Eckmann:2002:SAL,%
		Hofmeyr:1998:IDU,%
		Iheagwara:2003:CEE,%
		Iheagwara:2004:CEM,%
		Kar:2016:SSI,%
		Kerschbaum:2002:UIS,%
		Lee:2002:TCS,%
		Li:2002:EPA,%
		Merlo:2015:MEP,%
		Nayyar:2008:AAM,%
		Siaterlis:2005:OSA,%
		Skormin:2007:PIA,%
		Spinellis:2002:PID,%
		Staniford:2002:PAD,%
		Stergiopoulos:2019:USC,%
		Uribe:2007:AAF,%
		Vigna:1999:NNB,%
		Vigna:2009:REA,%
		Xia:2006:EWD,%
		Yasinsac:2002:ESP,%
		Stolfo:2005:CET%
		}.
\NAMECITE{detectors}{%
		Kerschbaum:2002:UIS%
		}.
\NAMECITE{determinism}{%
		Roscoe:1996:NIT%
		}.
\NAMECITE{deterministic}{%
		Bischof:2018:LDS%
		}.
\NAMECITE{develop}{%
		Lotz:1997:TSM%
		}.
\NAMECITE{devices}{%
		Besson:2010:VRA,%
		Carter:2016:SOG,%
		Centenaro:2013:TBA,%
		Mannan:2011:LPD%
		}.
\NAMECITE{{Diet}}{%
		Migault:2017:DEI%
		}.
\NAMECITE{{Diet-ESP}}{%
		Migault:2017:DEI%
		}.
\NAMECITE{differential}{%
		Chen:2018:KSQ%
		}.
\NAMECITE{differentially}{%
		Alvim:2015:ILD%
		}.
\NAMECITE{differentially-private}{%
		Alvim:2015:ILD%
		}.
\NAMECITE{differentiation}{%
		Modersheim:2010:CDS%
		}.
\NAMECITE{{Diffie}}{%
		Millen:2005:SPAa,%
		Millen:2005:SPAb%
		}.
\NAMECITE{Digital}{%
		Camenisch:1997:DPS,%
		Akinyele:2014:MGA,%
		Bhargav-Spantzel:2006:EPD,%
		Wang:2008:CBH,%
		Winslett:1997:UDC%
		}.
\NAMECITE{dimensional}{%
		Cheng:2009:QAV,%
		Wang:2007:PBI%
		}.
\NAMECITE{Dimensions}{%
		Sabelfeld:2009:DDP%
		}.
\NAMECITE{directories}{%
		Lippert:2006:LCM%
		}.
\NAMECITE{disclosure}{%
		Bottcher:2009:IDA,%
		Liu:2015:JSD,%
		Matos:2009:DND%
		}.
\NAMECITE{Discovering}{%
		Bansal:2014:DCA%
		}.
\NAMECITE{discovery}{%
		Choo:2017:DOS,%
		Clarke:2001:CCD,%
		Li:2003:DCC%
		}.
\NAMECITE{discretionary}{%
		Atluri:1997:EMD%
		}.
\NAMECITE{disjoint}{%
		Guttman:2004:ATD%
		}.
\NAMECITE{disjointness}{%
		Backes:2014:UIR%
		}.
\NAMECITE{display}{%
		Kobsa:2013:CJV%
		}.
\NAMECITE{display-equipped}{%
		Kobsa:2013:CJV%
		}.
\NAMECITE{dissemination}{%
		Byun:2009:PPI%
		}.
\NAMECITE{distance}{%
		Avoine:2011:FAR,%
		Boureanu:2015:PPS,%
		Kanovich:2017:TCC%
		}.
\NAMECITE{distance-bounding}{%
		Boureanu:2015:PPS,%
		Kanovich:2017:TCC%
		}.
\NAMECITE{Distributed}{%
		Gligor:1993:IRA,%
		Li:2003:DCC,%
		Woo:1993:ADS,%
		Bertino:2005:ACU,%
		Braghin:2006:RBA,%
		DeCapitanidiVimercati:2011:AED,%
		He:2011:SCP,%
		Hong:2012:SED,%
		Jiwa:1996:BAD,%
		Liu:2017:FBO,%
		Mantel:2003:UAS,%
		Maurer:1996:CSB,%
		Skalka:2007:RMD,%
		Yarmand:2013:BBA,%
		Yu:2005:SUI,%
		Zanin:2007:RRD%
		}.
\NAMECITE{Distributing}{%
		Chen:1995:DTA%
		}.
\NAMECITE{Distribution}{%
		Blundo:1995:MKD,%
		Cimato:2006:UMU,%
		Salvail:2010:STR,%
		Wright:2001:DGM,%
		Wright:2002:DGM%
		}.
\NAMECITE{distributions}{%
		Bezzi:2012:MPI%
		}.
\NAMECITE{diversity}{%
		Pucella:2010:IOS%
		}.
\NAMECITE{{DNP3}}{%
		Cremers:2019:SAG%
		}.
\NAMECITE{{DNSSEC}}{%
		Guette:2009:ATK%
		}.
\NAMECITE{document}{%
		Kar:2016:SSI%
		}.
\NAMECITE{documents}{%
		Bertino:2005:ACU,%
		Devanbu:2004:FAX%
		}.
\NAMECITE{{Dolev}}{%
		Backes:2008:KDM%
		}.
\NAMECITE{Domain}{%
		Meadows:2004:FSA,%
		Collberg:2005:SWF,%
		Knudsen:1998:SMD,%
		Spinellis:2002:PID%
		}.
\NAMECITE{domain-specific}{%
		Spinellis:2002:PID%
		}.
\NAMECITE{downward}{%
		Gordon:2011:IIS%
		}.
\NAMECITE{driven}{%
		Ahn:2012:PDR,%
		Bonatti:2015:EDR,%
		Preda:2018:CPD%
		}.
\NAMECITE{{DRM}}{%
		Davidson:2016:CSS%
		}.
\NAMECITE{Duty}{%
		Notargiacomo:1995:MMI%
		}.
\NAMECITE{Dynamic}{%
		Biskup:2012:DPA,%
		Bugliesi:2007:DTA,%
		Mardziel:2013:DEK,%
		Notargiacomo:1995:MMI,%
		Blundo:1999:NRD,%
		Focardi:2006:IFS,%
		Mohamed:2017:SUD,%
		Phatak:2013:SIN,%
		Shroff:2008:SIF,%
		Zavatteri:2019:LMS%
		}.
\NAMECITE{dynamically}{%
		Lester:2016:IFA%
		}.


\NAMECITE{e-mail}{%
		Nenadic:2005:RBV%
		}.
\NAMECITE{{e-Passports}}{%
		Lekkas:2010:PMT%
		}.
\NAMECITE{{E}-voting}{%
		Cortier:2017:FAN%
		}.
\NAMECITE{eavesdropping}{%
		Hancke:2011:PES%
		}.
\NAMECITE{economic}{%
		Campbell:2003:ECP%
		}.
\NAMECITE{ecosystems}{%
		Rubio:2019:TAI%
		}.
\NAMECITE{Edge}{%
		Vaidya:2009:ERM%
		}.
\NAMECITE{Edge-{RMP}}{%
		Vaidya:2009:ERM%
		}.
\NAMECITE{editor}{%
		Bertino:1996:GEP,%
		Bertino:1997:GEP,%
		Deswarte:2000:GEP,%
		Foley:1998:GEP,%
		Foley:1999:GEP,%
		Lin:1999:GEP,%
		Lin:2000:GEP,%
		Merritt:1997:GEP,%
		Samarati:1997:GEP,%
		Atluri:2000:GEP,%
		Cuppens:2002:GEP,%
		Focardi:2005:GEP,%
		Frincke:2002:GEP,%
		Gong:1995:GEP,%
		Gorrieri:2005:GEP,%
		Gritzalis:2011:GEP,%
		Guttman:2004:GEP,%
		Jajodia:2002:GEP,%
		Li:2011:GEP,%
		Li:2012:GEP,%
		Millen:1993:EPb,%
		Millen:1995:EPb,%
		Millen:1996:EPB,%
		Sandhu:1992:GEP,%
		Schneider:2003:GEP,%
		Schneider:2004:GEP,%
		Syverson:2001:GEP,%
		Syverson:2003:GEP,%
		Thuraisingham:2003:GEP%
		}.
\NAMECITE{Editorial}{%
		Damiani:2008:GE,%
		Focardi:2010:E,%
		Jajodia:2010:E%
		}.
\NAMECITE{{Editors}}{%
		Anonymous:2007:MGE,%
		Backes:2014:MGE,%
		Bella:2005:GEP,%
		Jajodia:1992:EPa,%
		Jajodia:1992:EPb,%
		Jajodia:1993:EPa,%
		Jajodia:1995:EPa,%
		Jajodia:1995:EPc,%
		Jajodia:1996:EPa,%
		Jajodia:1996:EPb,%
		Jajodia:1997:EP,%
		Lunt:1992:GEP,%
		McLean:1993:GEP,%
		Yee:2008:GEIa,%
		Yee:2008:GEIb%
		}.
\NAMECITE{Effective}{%
		Ngo:2014:EVC,%
		Xia:2006:EWD,%
		Belsis:2008:AEF,%
		Belsis:2009:AEF,%
		Iheagwara:2004:CEM%
		}.
\NAMECITE{effects}{%
		Gordon:2004:TEA,%
		Harrison:2009:AIF%
		}.
\NAMECITE{Efficient}{%
		Atluri:2008:ESP,%
		Blundo:2014:EEP,%
		DeCapitanidiVimercati:2016:EIC,%
		Meier:2013:ECM,%
		Zhu:2006:GEG,%
		Curtmola:2011:SSE,%
		Hong:2012:SED,%
		Kolesnikov:2013:SAP,%
		Li:2010:ESS,%
		Lipmaa:2013:MEC,%
		Lowden:2015:DPA,%
		Ranise:2018:AEA,%
		Song:2001:ANA,%
		Zuquete:2005:EHQ%
		}.
\NAMECITE{Efficiently}{%
		Shin:2011:EES%
		}.
\NAMECITE{elastic}{%
		Zhang:2018:PPV%
		}.
\NAMECITE{Electronic}{%
		Aimeur:2006:BEC,%
		Bryce:1997:CEI,%
		Delaune:2009:VPT,%
		Sinha:2011:SSS%
		}.
\NAMECITE{Eliminating}{%
		Buldas:2002:ECA%
		}.
\NAMECITE{elliptic}{%
		Barthe:2013:VIH%
		}.
\NAMECITE{email}{%
		Bergholz:2010:NFA%
		}.
\NAMECITE{embedded}{%
		Kerschbaum:2002:UIS%
		}.
\NAMECITE{Embedding}{%
		Broadfoot:2004:EAW%
		}.
\NAMECITE{empirical}{%
		Campbell:2003:ECP%
		}.
\NAMECITE{{eMRTD}}{%
		Buchmann:2014:TMS%
		}.
\NAMECITE{encrypted}{%
		Dong:2011:SSE,%
		Micciancio:2004:CTA,%
		Moataz:2018:SSE%
		}.
\NAMECITE{Encryption}{%
		Nenadic:2005:RBV,%
		Adao:2009:SCF,%
		Backes:2008:KDM,%
		Candebat:2006:SPM,%
		Curtmola:2011:SSE,%
		Gentry:2013:FSB,%
		Guttman:2004:ATD,%
		Li:2015:NAC,%
		Myers:2013:BBC,%
		Sumii:2003:LRE,%
		Wuller:2017:DPP%
		}.
\NAMECITE{energy}{%
		Merlo:2015:MEP%
		}.
\NAMECITE{energy-based}{%
		Merlo:2015:MEP%
		}.
\NAMECITE{enforce}{%
		Ciriani:2012:OAE%
		}.
\NAMECITE{enforcement}{%
		Atluri:2008:ESP,%
		Basin:2014:OFA,%
		Bielova:2012:IES,%
		Cabuk:2010:TAS,%
		Crampton:2017:CEI,%
		DeCapitanidiVimercati:1997:ASE,%
		DeCapitanidiVimercati:2011:AED,%
		Le:2016:MCR,%
		Mallios:2015:PCE,%
		Mardziel:2013:DEK,%
		Mont:2008:PPE,%
		Zhou:2008:SPR%
		}.
\NAMECITE{Enforcing}{%
		Atluri:1997:EMD,%
		Casati:1998:EWA,%
		DeCapitanidiVimercati:2018:EAW,%
		McDaniel:2006:EPA,%
		Myers:2006:ERD,%
		Bertino:2000:LBA,%
		Ciriani:2011:SDO,%
		Shin:2011:EES,%
		Welch:2002:URM%
		}.
\NAMECITE{engineering}{%
		Gray:1998:PSC%
		}.
\NAMECITE{enhanced}{%
		Ardagna:2010:ECP,%
		Bodei:2005:CSP,%
		Davidson:2016:CSS,%
		Guttman:2005:VIF%
		}.
\NAMECITE{Enhancing}{%
		Li:2002:EPA%
		}.
\NAMECITE{enterprise}{%
		Homer:2013:AVM%
		}.
\NAMECITE{enterprises}{%
		Hagen:2008:PAU,%
		Mont:2008:PPE%
		}.
\NAMECITE{entity}{%
		Basin:2013:PRI%
		}.
\NAMECITE{environment}{%
		Atluri:2008:ESP,%
		Fuhry:2018:HPS,%
		Iheagwara:2003:CEE,%
		Yasinsac:2002:ESP%
		}.
\NAMECITE{equipped}{%
		Kobsa:2013:CJV%
		}.
\NAMECITE{equivalence}{%
		Baudet:2010:GAC%
		}.
\NAMECITE{equivalences}{%
		Blanchet:2018:ARE%
		}.
\NAMECITE{Eradicating}{%
		Barenghi:2018:SPX%
		}.
\NAMECITE{error}{%
		Argyropoulos:2010:BTP%
		}.
\NAMECITE{errors}{%
		Vigna:2009:REA%
		}.
\NAMECITE{{ESP}}{%
		Migault:2017:DEI%
		}.
\NAMECITE{{EsPRESSO}}{%
		Blundo:2014:EEP%
		}.
\NAMECITE{Establishing}{%
		Bhargav-Spantzel:2006:EPD,%
		Guttman:2014:EPP%
		}.
\NAMECITE{establishment}{%
		Guan:2017:SKE,%
		Zouridaki:2007:HQT%
		}.
\NAMECITE{estimating}{%
		Merlo:2015:MEP%
		}.
\NAMECITE{{EU}}{%
		Camenisch:2010:JSI,%
		Campolargo:2010:JSI%
		}.
\NAMECITE{{EU}-funded}{%
		Camenisch:2010:JSI,%
		Campolargo:2010:JSI%
		}.
\NAMECITE{{European}}{%
		Anonymous:1992:CPE,%
		Bryce:1997:CEI%
		}.
\NAMECITE{evaluable}{%
		Chen:2016:PEP%
		}.
\NAMECITE{Evaluating}{%
		Peddinti:2014:WSQ,%
		Yao:2009:EPT%
		}.
\NAMECITE{evaluation}{%
		Biskup:2008:PCQ,%
		Blundo:2014:EEP,%
		Carter:2016:SOG,%
		Casola:2007:PBM,%
		DeCapitanidiVimercati:2011:AED,%
		Iheagwara:2003:CEE,%
		Kolesnikov:2013:SAP,%
		Stolfo:2005:CET%
		}.
\NAMECITE{Event}{%
		Bonatti:2015:EDR%
		}.
\NAMECITE{Event-driven}{%
		Bonatti:2015:EDR%
		}.
\NAMECITE{events}{%
		Jajodia:2016:UTP,%
		Majumdar:2019:LPD%
		}.
\NAMECITE{evidence}{%
		Campbell:2003:ECP%
		}.
\NAMECITE{exact}{%
		Gray:1998:PSC%
		}.
\NAMECITE{Exchange}{%
		Yahalom:1993:OAT,%
		Buttyan:2004:FMR,%
		Kremer:2003:GBV,%
		Tian:2019:DSD%
		}.
\NAMECITE{execution}{%
		Atluri:2000:SBE,%
		DeGroef:2014:SME,%
		Rafnsson:2016:SME,%
		dosSantos:2017:AFE%
		}.
\NAMECITE{existence}{%
		Heather:2005:DPE%
		}.
\NAMECITE{Expected}{%
		Dimitrakakis:2015:ELA%
		}.
\NAMECITE{Experimental}{%
		Pescape:2005:EAA,%
		Iheagwara:2003:CEE%
		}.
\NAMECITE{experts}{%
		Belsis:2008:AEF,%
		Belsis:2009:AEF%
		}.
\NAMECITE{explicit}{%
		Ramanujam:2005:DCE%
		}.
\NAMECITE{Exploiting}{%
		Ardagna:2010:ECP,%
		Traynor:2008:EOF,%
		vanOorschot:2011:EPC%
		}.
\NAMECITE{Exploring}{%
		Dewri:2011:EPV,%
		Sonchack:2016:ELS%
		}.
\NAMECITE{exponentiation}{%
		Millen:2005:SPAa,%
		Millen:2005:SPAb%
		}.
\NAMECITE{exposure}{%
		Clifton:2000:USS%
		}.
\NAMECITE{expressions}{%
		Micciancio:2004:CTA%
		}.
\NAMECITE{Expressive}{%
		Sandhu:1992:EPS,%
		Ammann:1996:EPM,%
		Tripunitara:2007:TCE%
		}.
\NAMECITE{Extended}{%
		Ammann:1992:ESP,%
		Bertino:1995:EAM,%
		Bieber:2002:CSI%
		}.
\NAMECITE{extension}{%
		Li:2010:ESS%
		}.
\NAMECITE{extensions}{%
		Delaune:2010:FSA,%
		Elbirt:2008:AAI%
		}.


\NAMECITE{{Fabric}}{%
		Liu:2017:FBO%
		}.
\NAMECITE{factor}{%
		Bhargav-Spantzel:2007:PPM%
		}.
\NAMECITE{fair}{%
		Kremer:2003:GBV,%
		Yu:2019:CAF%
		}.
\NAMECITE{faithfulness}{%
		Guttman:2004:FAP%
		}.
\NAMECITE{Fast}{%
		Hinke:1995:FAD,%
		Zhou:2012:FAS,%
		Yu:2019:CAF%
		}.
\NAMECITE{fast-payment}{%
		Yu:2019:CAF%
		}.
\NAMECITE{Fault}{%
		Hui:2001:FPS,%
		Wright:2001:DGM,%
		Wright:2002:DGM%
		}.
\NAMECITE{Fault-preserving}{%
		Hui:2001:FPS%
		}.
\NAMECITE{fault-tolerant}{%
		Wright:2001:DGM,%
		Wright:2002:DGM%
		}.
\NAMECITE{feasible}{%
		Cheng:2017:SFN%
		}.
\NAMECITE{feature}{%
		Belsis:2008:AEF,%
		Belsis:2009:AEF%
		}.
\NAMECITE{features}{%
		Stergiopoulos:2019:USC%
		}.
\NAMECITE{federated}{%
		Baldwin:2010:AFI,%
		DeCapitanidiVimercati:1997:ASE,%
		Goodrich:2008:NFI%
		}.
\NAMECITE{Federation}{%
		Saklikar:2010:IFV,%
		Bhargav-Spantzel:2006:EPD%
		}.
\NAMECITE{federations}{%
		Castano:1997:ADG%
		}.
\NAMECITE{Field}{%
		Gentry:2013:FSB%
		}.
\NAMECITE{filtering}{%
		Bergholz:2010:NFA%
		}.
\NAMECITE{Finding}{%
		Pala:2010:FPN,%
		dosSantos:2017:AFE%
		}.
\NAMECITE{Fine}{%
		Rafnsson:2016:SME%
		}.
\NAMECITE{Fine-grained}{%
		Rafnsson:2016:SME%
		}.
\NAMECITE{Finite}{%
		Goubault-Larrecq:2010:FMF%
		}.
\NAMECITE{firewall}{%
		Neville:2018:RAF,%
		Uribe:2007:AAF%
		}.
\NAMECITE{First}{%
		Cohen:2003:FOV,%
		Halpern:2017:QQP%
		}.
\NAMECITE{First-order}{%
		Cohen:2003:FOV,%
		Halpern:2017:QQP%
		}.
\NAMECITE{Fixed}{%
		Wespi:2000:FVV%
		}.
\NAMECITE{Fixed-}{%
		Wespi:2000:FVV%
		}.
\NAMECITE{fixing}{%
		Cortier:2013:AFH%
		}.
\NAMECITE{flaw}{%
		Heather:2003:HPT%
		}.
\NAMECITE{flaws}{%
		Bodei:2010:DPT%
		}.
\NAMECITE{Flexible}{%
		Devanbu:2004:FAX%
		}.
\NAMECITE{Flow}{%
		Bodei:2005:CSP,%
		Gray:1992:TMF,%
		Kreitz:2013:FSW,%
		Alvim:2012:QIF,%
		Barthe:2007:SIF,%
		Becker:2012:IFT,%
		Besson:2001:MCS,%
		Bishop:1996:CIF,%
		Bossi:2005:IFS,%
		Bossi:2007:CIF,%
		Broberg:2017:PPP,%
		Clark:2007:SAQ,%
		Clarkson:2009:QIF,%
		Crampton:2017:CEI,%
		DSouza:2011:MCT,%
		DSouza:2016:MCT,%
		Focardi:2006:IFS,%
		Guttman:2005:VIF,%
		Harrison:2009:AIF,%
		Hedin:2016:IFS,%
		Lester:2016:IFA,%
		Lowe:2004:DIF,%
		Murray:2017:SIV,%
		Shroff:2008:SIF,%
		Volpano:1996:STS,%
		Yasuoka:2011:BPQ,%
		deAmorim:2016:VIF%
		}.
\NAMECITE{Folklore}{%
		Herzberg:2009:FPT%
		}.
\NAMECITE{Forcing}{%
		Herzberg:2013:FJL%
		}.
\NAMECITE{forensic}{%
		Buchholz:2004:PPO%
		}.
\NAMECITE{Foreword}{%
		Campolargo:2010:JSI,%
		LaPadula:1996:F%
		}.
\NAMECITE{Formal}{%
		Cuppens:2013:FSM,%
		Delaune:2010:FSA,%
		Meadows:1992:AFM,%
		Meadows:2004:FSA,%
		Niu:2014:FVS,%
		Adao:2009:SCF,%
		Alshehri:2015:FFS,%
		Bansal:2014:DCA,%
		Buttyan:2004:FMR,%
		Cortier:2017:FAN,%
		Cremers:2019:SAG,%
		Goubault-Larrecq:2010:FMF,%
		Paulson:2001:RBS,%
		Schellhorn:2002:VFS%
		}.
\NAMECITE{formalization}{%
		Toahchoodee:2011:FAS%
		}.
\NAMECITE{formally}{%
		Lotz:1997:TSM%
		}.
\NAMECITE{Forward}{%
		Millen:1995:UFC%
		}.
\NAMECITE{forwarded}{%
		Biskup:2011:IPV%
		}.
\NAMECITE{Foundation}{%
		Gray:1992:TMF%
		}.
\NAMECITE{Foundational}{%
		Chatzikokolakis:2014:FAS%
		}.
\NAMECITE{frame}{%
		Luo:2016:MCM%
		}.
\NAMECITE{framework}{%
		Alam:2008:CBR,%
		Alshehri:2015:FFS,%
		Avoine:2011:FAR,%
		Bonatti:2002:UFR,%
		Deng:2011:ZKB,%
		Jing:2016:TML,%
		Krukow:2008:LFH,%
		Lu:2014:OFR,%
		Meadows:2001:CBF,%
		Pucella:2010:IOS,%
		Tian:2019:DSD,%
		Zouridaki:2007:HQT%
		}.
\NAMECITE{frameworks}{%
		Iheagwara:2004:CEM%
		}.
\NAMECITE{free}{%
		Basin:2014:OFA,%
		Ding:2009:LFM%
		}.
\NAMECITE{frequency}{%
		Collberg:2005:SWF,%
		Hancke:2011:PES%
		}.
\NAMECITE{freshness}{%
		Tiplea:2008:SBS%
		}.
\NAMECITE{fully}{%
		Dreier:2015:BFP%
		}.
\NAMECITE{function}{%
		Heather:2005:DPE,%
		Kolesnikov:2013:SAP,%
		Quisquater:1997:ASS%
		}.
\NAMECITE{Functional}{%
		McLean:1992:PNF%
		}.
\NAMECITE{functionality}{%
		Traynor:2008:EOF%
		}.
\NAMECITE{functions}{%
		Chen:2016:PEP%
		}.
\NAMECITE{funded}{%
		Camenisch:2010:JSI,%
		Campolargo:2010:JSI%
		}.
\NAMECITE{fusion}{%
		Blyth:2006:PRT,%
		Siaterlis:2005:OSA%
		}.
\NAMECITE{future}{%
		Horn:2000:APF%
		}.
\NAMECITE{Fuzzy}{%
		Hu:1992:RTC,%
		Trostle:1993:MFT%
		}.


\NAMECITE{game}{%
		Kremer:2003:GBV,%
		Kusters:2012:GBD,%
		Lin:2017:SAC,%
		Mohamed:2017:SUD,%
		Soupionis:2014:GTA%
		}.
\NAMECITE{game-based}{%
		Kremer:2003:GBV,%
		Kusters:2012:GBD%
		}.
\NAMECITE{game-theoretic}{%
		Soupionis:2014:GTA%
		}.
\NAMECITE{garbage}{%
		Bertino:1999:SOD%
		}.
\NAMECITE{garbled}{%
		Carter:2016:SOG%
		}.
\NAMECITE{general}{%
		Dupressoir:2014:GGP,%
		Kolesnikov:2013:SAP%
		}.
\NAMECITE{general-purpose}{%
		Dupressoir:2014:GGP%
		}.
\NAMECITE{generalized}{%
		Elbirt:2008:AAI,%
		Mitra:2015:GTR%
		}.
\NAMECITE{generated}{%
		Akinyele:2014:MGA%
		}.
\NAMECITE{generating}{%
		Bowen:2012:SGI%
		}.
\NAMECITE{generation}{%
		Cade:2015:PGI,%
		Zhou:2012:FAS%
		}.
\NAMECITE{generator}{%
		Zuquete:2005:EHQ%
		}.
\NAMECITE{Generic}{%
		Wang:2006:GNR%
		}.
\NAMECITE{gigabit}{%
		Iheagwara:2003:CEE%
		}.
\NAMECITE{{GKMPAN}}{%
		Zhu:2006:GEG%
		}.
\NAMECITE{Global}{%
		DeCapitanidiVimercati:2001:GIP,%
		Tardo:1992:SGA,%
		Castano:1997:ADG,%
		Kremer:2016:AAS%
		}.
\NAMECITE{{Globally}}{%
		Lekkas:2010:PMT%
		}.
\NAMECITE{goals}{%
		Guttman:2005:VIF,%
		Guttman:2014:EPP%
		}.
\NAMECITE{{GPU}}{%
		Lowden:2015:DPA%
		}.
\NAMECITE{grained}{%
		Rafnsson:2016:SME%
		}.
\NAMECITE{{Grant}}{%
		Bishop:1995:TIT,%
		Bishop:1996:CIF%
		}.
\NAMECITE{granularities}{%
		Li:2002:EPA%
		}.
\NAMECITE{{Graph}}{%
		Foley:2011:MSP%
		}.
\NAMECITE{graphical}{%
		vanOorschot:2011:EPC%
		}.
\NAMECITE{graphs}{%
		Belim:2015:AGR,%
		Besson:2001:MCS,%
		Conrad:2010:AUT,%
		Homer:2013:AVM,%
		Wang:2008:IIA,%
		Wright:2001:DGM,%
		Wright:2002:DGM%
		}.
\NAMECITE{grid}{%
		Cremers:2019:SAG%
		}.
\NAMECITE{Group}{%
		Maffei:2019:GOP,%
		Zhu:2006:GEG,%
		Cho:2004:GKR,%
		Cuppens:2013:FSM,%
		Ding:2009:LFM,%
		Millen:2005:SPAa,%
		Millen:2005:SPAb,%
		Pereira:2003:SAU,%
		Pereira:2006:IBS,%
		Xu:2007:SGC,%
		Meadows:2004:FSA%
		}.
\NAMECITE{groups}{%
		Choo:2017:DOS%
		}.
\NAMECITE{Guessing}{%
		Baudet:2010:GAC,%
		Lowe:2004:APS%
		}.
\NAMECITE{Guest}{%
		Bertino:1996:GEP,%
		Bertino:1997:GEP,%
		Damiani:2008:GE,%
		Deswarte:2000:GEP,%
		Foley:1998:GEP,%
		Foley:1999:GEP,%
		Lin:1999:GEP,%
		Lin:2000:GEP,%
		Merritt:1997:GEP,%
		Samarati:1997:GEP,%
		Anonymous:2007:MGE,%
		Atluri:2000:GEP,%
		Backes:2014:MGE,%
		Bella:2005:GEP,%
		Cuppens:2002:GEP,%
		Focardi:2005:GEP,%
		Frincke:2002:GEP,%
		Gong:1995:GEP,%
		Gorrieri:2005:GEP,%
		Gritzalis:2011:GEP,%
		Guttman:2004:GEP,%
		Jajodia:2002:GEP,%
		Li:2011:GEP,%
		Li:2012:GEP,%
		Lunt:1992:GEP,%
		McLean:1993:GEP,%
		Sandhu:1992:GEP,%
		Schneider:2003:GEP,%
		Schneider:2004:GEP,%
		Syverson:2001:GEP,%
		Syverson:2003:GEP,%
		Thuraisingham:2003:GEP,%
		Yee:2008:GEIa,%
		Yee:2008:GEIb%
		}.
\NAMECITE{Guest-editor}{%
		Bertino:1996:GEP%
		}.
\NAMECITE{Guiding}{%
		Dupressoir:2014:GGP%
		}.


\NAMECITE{habits}{%
		Levy:2018:SHB%
		}.
\NAMECITE{{Hails}}{%
		Giffin:2017:HPD%
		}.
\NAMECITE{hardening}{%
		Borbor:2018:SUV%
		}.
\NAMECITE{{HardIDX}}{%
		Fuhry:2018:HPS%
		}.
\NAMECITE{hash}{%
		Quisquater:1997:ASS%
		}.
\NAMECITE{hashing}{%
		Barthe:2013:VIH,%
		Lowden:2015:DPA%
		}.
\NAMECITE{haystack}{%
		Pala:2010:FPN%
		}.
\NAMECITE{{HB}}{%
		Halevi:2011:TBH%
		}.
\NAMECITE{healthcare}{%
		Yarmand:2013:BBA%
		}.
\NAMECITE{hear}{%
		Bates:2015:AWK%
		}.
\NAMECITE{{Helios}}{%
		Cortier:2013:AFH%
		}.
\NAMECITE{{Hellman}}{%
		Millen:2005:SPAa,%
		Millen:2005:SPAb%
		}.
\NAMECITE{{Hermes}}{%
		Zouridaki:2007:HQT%
		}.
\NAMECITE{heterogeneous}{%
		Bonatti:1997:MHS,%
		Borbor:2018:SUV%
		}.
\NAMECITE{hiding}{%
		Chatzikokolakis:2008:BRI,%
		Halpern:2005:AIH,%
		Hughes:2004:IHA%
		}.
\NAMECITE{hierarchical}{%
		Belsis:2008:AEF,%
		Belsis:2009:AEF,%
		Kayem:2008:RCK,%
		Shen:2015:DIC,%
		Stoller:2018:MHT,%
		Wang:2008:CBH%
		}.
\NAMECITE{Hierarchies}{%
		DiPietro:2010:HKS,%
		Ranise:2018:AEA%
		}.
\NAMECITE{hierarchy}{%
		Belim:2015:AGR,%
		Cho:2004:GKR%
		}.
\NAMECITE{High}{%
		Epstein:1993:HAW,%
		DiPietro:2004:KMH,%
		Hancke:2011:PES,%
		Malkhi:1997:HTS,%
		Spalazzi:2015:SIS,%
		Zuquete:2005:EHQ%
		}.
\NAMECITE{high-frequency}{%
		Hancke:2011:PES%
		}.
\NAMECITE{high-throughput}{%
		Malkhi:1997:HTS%
		}.
\NAMECITE{hijacking}{%
		Bugliesi:2015:CPB,%
		Calzavara:2019:SSH%
		}.
\NAMECITE{history}{%
		Krukow:2008:LFH%
		}.
\NAMECITE{history-based}{%
		Krukow:2008:LFH%
		}.
\NAMECITE{Hoc}{%
		Zhu:2006:GEG,%
		Ahn:2012:PDR,%
		Radosavac:2007:DIM,%
		Raya:2007:SVA,%
		Zanin:2007:RRD%
		}.
\NAMECITE{homomorphic}{%
		Gentry:2013:FSB,%
		Wuller:2017:DPP%
		}.
\NAMECITE{honeypots}{%
		Chakraborty:2018:HAD%
		}.
\NAMECITE{Hordes}{%
		Levine:2002:HMB%
		}.
\NAMECITE{host}{%
		Daniels:1999:IHA%
		}.
\NAMECITE{Human}{%
		Matsumoto:1998:HCC%
		}.
\NAMECITE{humans}{%
		Shirvanian:2018:SVI%
		}.
\NAMECITE{Hybrid}{%
		Chakraborty:2018:HAD%
		}.
\NAMECITE{Hyperproperties}{%
		Clarkson:2010:H%
		}.


\NAMECITE{{ICT}}{%
		Camenisch:2010:JSI,%
		Campolargo:2010:JSI%
		}.
\NAMECITE{{ID}}{%
		Goodrich:2008:NFI%
		}.
\NAMECITE{Identification}{%
		Daniels:1999:IHA%
		}.
\NAMECITE{Identifying}{%
		Luckett:2018:ISM%
		}.
\NAMECITE{Identity}{%
		Phatak:2013:SIN,%
		Saklikar:2010:IFV,%
		Baldwin:2010:AFI,%
		Bhargav-Spantzel:2006:EPD,%
		Candebat:2006:SPM,%
		Mont:2008:PPE,%
		Wang:2008:CBH%
		}.
\NAMECITE{identity-based}{%
		Candebat:2006:SPM%
		}.
\NAMECITE{{IDS}}{%
		Blyth:2006:PRT%
		}.
\NAMECITE{{IEC}}{%
		Basin:2013:PRI%
		}.
\NAMECITE{{IEEE}}{%
		Radosavac:2007:DIM%
		}.
\NAMECITE{{II}}{%
		LaPadula:1996:MTR%
		}.
\NAMECITE{illicit}{%
		Shieh:1996:DIL%
		}.
\NAMECITE{{IME}}{%
		Diao:2018:AMU%
		}.
\NAMECITE{imitation}{%
		Shirvanian:2018:SVI%
		}.
\NAMECITE{impact}{%
		Balagani:2018:IAC,%
		Gordon:2011:IIS%
		}.
\NAMECITE{imperative}{%
		Clark:2007:SAQ%
		}.
\NAMECITE{Implementation}{%
		Collberg:2005:SWF,%
		Adaikkalavan:2012:MSD,%
		Sandhu:1999:RBA%
		}.
\NAMECITE{implementations}{%
		Backes:2014:UIR,%
		Blazy:2019:VCT,%
		Cade:2015:PGI,%
		Elbirt:2008:AAI%
		}.
\NAMECITE{Implementing}{%
		Wang:2008:IIA,%
		Gudes:1999:MSI%
		}.
\NAMECITE{implications}{%
		Armknecht:2019:PIR%
		}.
\NAMECITE{impossibility}{%
		Pereira:2006:IBS%
		}.
\NAMECITE{Improved}{%
		Curtmola:2011:SSE,%
		Smith:2006:ITP%
		}.
\NAMECITE{in-browser}{%
		Arapinis:2013:PSC%
		}.
\NAMECITE{incidents}{%
		Blyth:2006:PRT%
		}.
\NAMECITE{increase}{%
		DeCapitanidiVimercati:2015:LAI%
		}.
\NAMECITE{incremental}{%
		Byun:2009:PPI%
		}.
\NAMECITE{indeed}{%
		vanderMeyden:2015:WII%
		}.
\NAMECITE{Independence}{%
		Pucella:2010:IOS,%
		Roscoe:1999:PSP%
		}.
\NAMECITE{Index}{%
		Anonymous:1992:AI,%
		Anonymous:1993:AI,%
		Anonymous:1995:AIV,%
		Anonymous:1996:AIV,%
		Anonymous:1997:AIV,%
		Anonymous:1998:AIV,%
		Anonymous:2001:AIV,%
		Anonymous:2002:AIV,%
		Anonymous:2003:AIV,%
		Anonymous:2004:AIV,%
		Anonymous:2005:AIV,%
		Anonymous:2006:AIV,%
		Anonymous:2007:AIV,%
		Anonymous:2008:AIV,%
		Anonymous:2009:AIV,%
		Anonymous:2010:AIV,%
		Anonymous:2011:AIV,%
		Anonymous:2012:AIV,%
		Anonymous:2013:AIV,%
		Anonymous:2014:AIV,%
		Anonymous:2015:AIV,%
		Anonymous:2016:AIV,%
		Anonymous:2017:AIV,%
		Fuhry:2018:HPS%
		}.
\NAMECITE{indexes}{%
		DeCapitanidiVimercati:2013:SCM%
		}.
\NAMECITE{indifferentiable}{%
		Barthe:2013:VIH%
		}.
\NAMECITE{indistinguishability}{%
		Yao:2009:EPT%
		}.
\NAMECITE{indistinguishable}{%
		Bowen:2012:SGI%
		}.
\NAMECITE{individual}{%
		Radosavac:2007:DIM%
		}.
\NAMECITE{Inductive}{%
		Bella:2003:IVS,%
		Roy:2010:ITP,%
		Paulson:1998:IAV%
		}.
\NAMECITE{industrial}{%
		Rubio:2019:TAI%
		}.
\NAMECITE{Inference}{%
		Biskup:2011:IPV,%
		Hinke:1995:FAD,%
		Biskup:2012:DPA,%
		Wang:2004:CBI,%
		Wang:2007:PBI%
		}.
\NAMECITE{Inference-proof}{%
		Biskup:2011:IPV%
		}.
\NAMECITE{inferences}{%
		Bezzi:2012:MPI%
		}.
\NAMECITE{infinite}{%
		DSouza:2016:MCT%
		}.
\NAMECITE{infinite-state}{%
		DSouza:2016:MCT%
		}.
\NAMECITE{Information}{%
		Anonymous:1996:IA,%
		Becker:2012:IFT,%
		Bishop:1995:TIT,%
		Bossi:2005:IFS,%
		Bottcher:2009:IDA,%
		Focardi:2006:IFS,%
		Gray:1992:TMF,%
		Hedin:2016:IFS,%
		Hughes:2004:IHA,%
		Lester:2016:IFA,%
		Simmons:1995:RTI,%
		Adao:2009:SCF,%
		Alvim:2012:QIF,%
		Alvim:2015:ILD,%
		Balagani:2019:PPP,%
		Barthe:2007:SIF,%
		Bishop:1996:CIF,%
		Biskup:2012:DPA,%
		Bonatti:2002:UFR,%
		Bossi:2007:CIF,%
		Broberg:2017:PPP,%
		Buchholz:2004:PPO,%
		Campbell:2003:ECP,%
		Chan:2007:SSI,%
		Chatzikokolakis:2008:BRI,%
		Chong:2012:RIR,%
		Clark:2007:SAQ,%
		Clarkson:2009:QIF,%
		Continella:2017:PAW,%
		Crampton:2017:CEI,%
		DSouza:2011:MCT,%
		DSouza:2016:MCT,%
		DiCrescenzo:2016:PPP,%
		Giacobazzi:2010:ACU,%
		Gordon:2011:IIS,%
		Guttman:2005:VIF,%
		Halpern:2005:AIH,%
		Harrison:2009:AIF,%
		Kopf:2011:ADI,%
		Liu:2000:ICI,%
		Lowe:2004:DIF,%
		Murray:2017:SIV,%
		Shieh:1996:DIL,%
		Shin:2011:EES,%
		Shroff:2008:SIF,%
		Skormin:2007:PIA,%
		Urban:2019:ALP,%
		Yasuoka:2011:BPQ,%
		deAmorim:2016:VIF%
		}.
\NAMECITE{Information-flow}{%
		Hedin:2016:IFS,%
		deAmorim:2016:VIF%
		}.
\NAMECITE{information-hiding}{%
		Chatzikokolakis:2008:BRI%
		}.
\NAMECITE{information-theoretic}{%
		Kopf:2011:ADI%
		}.
\NAMECITE{infrastructure}{%
		Bryce:1997:CEI,%
		DeCapitanidiVimercati:2001:GIP,%
		Lekkas:2010:PMT%
		}.
\NAMECITE{Infrastructures}{%
		Casola:2007:PBM,%
		Price:2006:PKI%
		}.
\NAMECITE{injecting}{%
		Bowen:2012:SGI%
		}.
\NAMECITE{injection}{%
		Kar:2016:SSI%
		}.
\NAMECITE{inline}{%
		Dam:2010:PCI%
		}.
\NAMECITE{insider}{%
		Alhebaishi:2019:MIT%
		}.
\NAMECITE{Instant}{%
		Chadwick:2010:ICR%
		}.
\NAMECITE{institutions}{%
		Zhang:2018:PPV%
		}.
\NAMECITE{instruction}{%
		Elbirt:2008:AAI%
		}.
\NAMECITE{integer}{%
		Zhang:2011:UTA%
		}.
\NAMECITE{integer-overflow-to-buffer-overflow}{%
		Zhang:2011:UTA%
		}.
\NAMECITE{integrating}{%
		Ma:2019:TOP%
		}.
\NAMECITE{integration}{%
		Bertino:2000:TAB%
		}.
\NAMECITE{Integrity}{%
		Motro:1992:UMS,%
		Notargiacomo:1995:MMI,%
		Simmons:1995:RTI,%
		Chen:2017:RDI,%
		DeCapitanidiVimercati:2016:EIC,%
		Shen:2015:DIC,%
		Wang:2008:CBH%
		}.
\NAMECITE{Inter}{%
		Gligor:1993:IRA,%
		Jing:2016:TML,%
		Luo:2016:MCM%
		}.
\NAMECITE{inter-frame}{%
		Luo:2016:MCM%
		}.
\NAMECITE{inter-process}{%
		Jing:2016:TML%
		}.
\NAMECITE{Inter-Realm}{%
		Gligor:1993:IRA%
		}.
\NAMECITE{interactions}{%
		Bieber:2002:CSI%
		}.
\NAMECITE{interactive}{%
		Alvim:2012:QIF,%
		Besson:2010:VRA,%
		Lipmaa:2013:MEC,%
		Wang:2008:IIA%
		}.
\NAMECITE{Interference}{%
		Zakinthinos:1995:CNI,%
		Bugliesi:2005:NIP,%
		DiPierro:2004:ANI,%
		Roscoe:1996:NIT,%
		Ryan:2001:PAN%
		}.
\NAMECITE{internal}{%
		Kerschbaum:2002:UIS%
		}.
\NAMECITE{Internet}{%
		Gritzalis:2011:SPM,%
		Devanbu:2003:ADP,%
		Ourston:2004:CIA,%
		Pala:2010:FPN,%
		Soupionis:2014:GTA%
		}.
\NAMECITE{Interoperable}{%
		Lekkas:2010:PMT%
		}.
\NAMECITE{interpolation}{%
		Rocchetto:2017:IBM%
		}.
\NAMECITE{interpolation-based}{%
		Rocchetto:2017:IBM%
		}.
\NAMECITE{Interpretation}{%
		Meadows:2004:FSA,%
		Blazy:2019:VCT,%
		Giacobazzi:2010:ACU,%
		Mardziel:2013:DEK,%
		Preda:2009:SBC%
		}.
\NAMECITE{intersection}{%
		Backes:2014:UIR,%
		Vaidya:2005:SSI%
		}.
\NAMECITE{interval}{%
		Wuller:2017:DPP%
		}.
\NAMECITE{intradomain}{%
		Pescape:2005:EAA%
		}.
\NAMECITE{intransitive}{%
		vanderMeyden:2015:WII%
		}.
\NAMECITE{Introduction}{%
		Guttman:2009:I,%
		Vaidya:2011:I,%
		Yee:2008:GEIa,%
		Yee:2008:GEIb%
		}.
\NAMECITE{intruder}{%
		Broadfoot:2004:EAW%
		}.
\NAMECITE{Intrusion}{%
		Hofmeyr:1998:IDU,%
		Liu:2000:ICI,%
		Millen:1999:SSI,%
		Spinellis:2002:PID,%
		Eckmann:2002:SAL,%
		Iheagwara:2003:CEE,%
		Iheagwara:2004:CEM,%
		Kerschbaum:2002:UIS,%
		Lee:2002:TCS,%
		Merlo:2015:MEP,%
		Stakhanova:2012:TCS,%
		Uribe:2007:AAF,%
		Vigna:1999:NNB,%
		Yasinsac:2002:ESP,%
		Yu:2005:SUI,%
		Zhang:2004:RAR%
		}.
\NAMECITE{Invalid}{%
		Giustolisi:2018:ICM%
		}.
\NAMECITE{investigations}{%
		Buchholz:2004:PPO%
		}.
\NAMECITE{{IoT}}{%
		Migault:2017:DEI%
		}.
\NAMECITE{{IP}}{%
		Daniels:1999:IHA,%
		Migault:2017:DEI%
		}.
\NAMECITE{iris}{%
		Blanton:2012:SOC%
		}.
\NAMECITE{islands}{%
		Xu:2009:ASL%
		}.
\NAMECITE{{ISO}}{%
		Basin:2013:PRI%
		}.
\NAMECITE{{ISO/IEC}}{%
		Basin:2013:PRI%
		}.
\NAMECITE{isolation}{%
		Guanciale:2016:PSM,%
		Liu:2000:ICI%
		}.
\NAMECITE{Issue}{%
		Visconti:2013:SIA,%
		Bertino:1997:SIS,%
		Camenisch:2010:JSI,%
		Campolargo:2010:JSI,%
		Murray:2017:SIV,%
		Spalazzi:2015:SIS%
		}.
\NAMECITE{issues}{%
		Barenghi:2018:SPX,%
		Bhargav-Spantzel:2007:UCT%
		}.
\NAMECITE{Iterative}{%
		Bielova:2012:IES%
		}.


\NAMECITE{{Jannie}}{%
		Kobsa:2013:CJV%
		}.
\NAMECITE{{Java}}{%
		Dam:2010:PCI%
		}.
\NAMECITE{{Java}-like}{%
		Dam:2010:PCI%
		}.
\NAMECITE{{JavaScript}}{%
		Hedin:2016:IFS%
		}.
\NAMECITE{{JCS}}{%
		Camenisch:2010:JSI,%
		Campolargo:2010:JSI%
		}.
\NAMECITE{{Johnny}}{%
		Herzberg:2013:FJL%
		}.
\NAMECITE{join}{%
		DeCapitanidiVimercati:2016:EIC%
		}.
\NAMECITE{{{{Journal}}}}{%
		Bella:2009:JCS%
		}.
\NAMECITE{jump}{%
		Liu:2015:JSD%
		}.


\NAMECITE{{Keccak}}{%
		Lowden:2015:DPA%
		}.
\NAMECITE{Kernelized}{%
		Thomas:1993:KAM%
		}.
\NAMECITE{Key}{%
		Backes:2008:KDM,%
		Blundo:1995:MKD,%
		Casola:2007:PBM,%
		DiPietro:2004:KMH,%
		Lekkas:2010:PMT,%
		Meadows:1992:AFM,%
		Price:2006:PKI,%
		Tardo:1992:SGA,%
		Adao:2009:SCF,%
		Arapinis:2013:PSC,%
		Centenaro:2013:TBA,%
		Cho:2004:GKR,%
		Cimato:2006:UMU,%
		Guan:2017:SKE,%
		Guette:2009:ATK,%
		Gupta:2018:SCA,%
		Hauser:1996:RSP,%
		Kayem:2008:RCK,%
		Knudsen:1998:SMD,%
		Li:2010:CCB,%
		Li:2010:ESS,%
		Lopez:2006:UPK,%
		Pereira:2003:SAU,%
		Pereira:2006:IBS,%
		Reiter:1996:KMS,%
		Salvail:2010:STR,%
		Tian:2019:DSD%
		}.
\NAMECITE{Key-dependent}{%
		Backes:2008:KDM%
		}.
\NAMECITE{keys}{%
		DiPietro:2010:HKS,%
		Kayem:2008:RCK%
		}.
\NAMECITE{keystroke}{%
		Balagani:2018:IAC%
		}.
\NAMECITE{know}{%
		Bates:2015:AWK%
		}.
\NAMECITE{Knowledge}{%
		Syverson:1992:KBS,%
		Backes:2010:CSS,%
		Deng:2011:ZKB,%
		Lipmaa:2013:MEC,%
		Mardziel:2013:DEK%
		}.
\NAMECITE{knowledge-based}{%
		Mardziel:2013:DEK%
		}.
\NAMECITE{known}{%
		Liu:2015:JSD%
		}.


\NAMECITE{Language}{%
		Eamani:2006:LBP,%
		Barthe:2007:SIF,%
		Becker:2010:SDS,%
		Clark:2007:SAQ,%
		Eckmann:2002:SAL,%
		Lester:2016:IFA,%
		Micciancio:2004:CTA,%
		Smith:2006:ITP,%
		Spinellis:2002:PID,%
		Volpano:1999:PNC%
		}.
\NAMECITE{{LaPadula}}{%
		Millen:1996:EPB%
		}.
\NAMECITE{Large}{%
		Gligor:1993:IRA,%
		Sonchack:2016:ELS,%
		Zanin:2007:RRD%
		}.
\NAMECITE{large-scale}{%
		Zanin:2007:RRD%
		}.
\NAMECITE{Last}{%
		Zavatteri:2019:LMS%
		}.
\NAMECITE{layer}{%
		Jing:2016:TML,%
		Migault:2017:DEI,%
		Radosavac:2007:DIM%
		}.
\NAMECITE{layered}{%
		Gibson-Robinson:2015:VLS%
		}.
\NAMECITE{layout}{%
		Xu:2009:ASL%
		}.
\NAMECITE{{LDAP}}{%
		Lippert:2006:LCM%
		}.
\NAMECITE{Leak}{%
		Ding:2009:LFM%
		}.
\NAMECITE{Leak-free}{%
		Ding:2009:LFM%
		}.
\NAMECITE{leakage}{%
		Adao:2009:SCF,%
		Alvim:2015:ILD,%
		Balagani:2019:PPP,%
		Shieh:1996:DIL,%
		Urban:2019:ALP%
		}.
\NAMECITE{leakages}{%
		Vavilis:2016:SBQ%
		}.
\NAMECITE{Learning}{%
		Majumdar:2019:LPD,%
		Luckett:2018:ISM,%
		Rieck:2011:AAM%
		}.
\NAMECITE{length}{%
		Paiola:2013:VSP,%
		Wespi:2000:FVV%
		}.
\NAMECITE{{LESS}}{%
		Sonchack:2016:ELS%
		}.
\NAMECITE{level}{%
		Daniels:1999:IHA,%
		Zhou:2008:SPR%
		}.
\NAMECITE{Leveraging}{%
		Hsu:2011:WLC,%
		Mannan:2011:LPD%
		}.
\NAMECITE{Life}{%
		Lippert:2006:LCM%
		}.
\NAMECITE{Life-cycle}{%
		Lippert:2006:LCM%
		}.
\NAMECITE{lightweight}{%
		Franklin:1998:AML%
		}.
\NAMECITE{like}{%
		Dam:2010:PCI%
		}.
\NAMECITE{limit}{%
		Clifton:2000:USS%
		}.
\NAMECITE{limited}{%
		Jajodia:2016:UTP%
		}.
\NAMECITE{line}{%
		Wang:2006:GNR%
		}.
\NAMECITE{linear}{%
		Hong:2012:SED%
		}.
\NAMECITE{Linguistic}{%
		Bodei:2016:CAS%
		}.
\NAMECITE{linked}{%
		Abadi:1998:SLL,%
		Halpern:2001:LSL%
		}.
\NAMECITE{{Linux}}{%
		Guanciale:2016:PSM,%
		Guttman:2005:VIF%
		}.
\NAMECITE{lists}{%
		Paiola:2013:VSP%
		}.
\NAMECITE{lived}{%
		Zanin:2007:RRD%
		}.
\NAMECITE{liveness}{%
		Backes:2004:PL%
		}.
\NAMECITE{local}{%
		Abadi:1998:SLL,%
		Halpern:2001:LSL%
		}.
\NAMECITE{location}{%
		Shin:2011:EES,%
		Shin:2011:PAM%
		}.
\NAMECITE{location-based}{%
		Shin:2011:PAM%
		}.
\NAMECITE{locked}{%
		Yu:2019:CAF%
		}.
\NAMECITE{logic}{%
		Bertino:2000:LBA,%
		Datta:2005:DSC,%
		Durgin:2003:CLP,%
		Garg:2012:SAL,%
		Halpern:2001:LSL,%
		Halpern:2017:QQP,%
		Jacobs:2009:SLS,%
		Jajodia:2016:UTP%
		}.
\NAMECITE{logic-based}{%
		Bertino:2000:LBA%
		}.
\NAMECITE{Logical}{%
		Bieber:1992:LVS,%
		Sumii:2003:LRE,%
		Cho:2004:GKR,%
		Halpern:2003:LRS,%
		Krukow:2008:LFH%
		}.
\NAMECITE{login}{%
		Herzberg:2013:FJL%
		}.
\NAMECITE{logs}{%
		Blyth:2006:PRT%
		}.
\NAMECITE{long}{%
		Zanin:2007:RRD%
		}.
\NAMECITE{long-lived}{%
		Zanin:2007:RRD%
		}.
\NAMECITE{looping}{%
		Malacaria:2010:RAS%
		}.
\NAMECITE{Loose}{%
		DeCapitanidiVimercati:2015:LAI%
		}.
\NAMECITE{loss}{%
		Dimitrakakis:2015:ELA%
		}.
\NAMECITE{Low}{%
		Bischof:2018:LDS,%
		Alomair:2011:SLC,%
		Daniels:1999:IHA,%
		Nguyen:2011:APB%
		}.
\NAMECITE{low-bandwidth}{%
		Nguyen:2011:APB%
		}.
\NAMECITE{low-cost}{%
		Alomair:2011:SLC%
		}.
\NAMECITE{Low-deterministic}{%
		Bischof:2018:LDS%
		}.
\NAMECITE{low-level}{%
		Daniels:1999:IHA%
		}.
\NAMECITE{low-nondeterministic}{%
		Bischof:2018:LDS%
		}.
\NAMECITE{Lowe}{%
		Warinschi:2005:CAN%
		}.


\NAMECITE{{MAC}}{%
		Radosavac:2007:DIM%
		}.
\NAMECITE{Machine}{%
		Akinyele:2014:MGA,%
		Han:2018:RAM,%
		Meier:2013:ECM,%
		Rieck:2011:AAM%
		}.
\NAMECITE{machine-checked}{%
		Meier:2013:ECM%
		}.
\NAMECITE{Machine-generated}{%
		Akinyele:2014:MGA%
		}.
\NAMECITE{machines}{%
		Shirvanian:2018:SVI%
		}.
\NAMECITE{mail}{%
		Nenadic:2005:RBV%
		}.
\NAMECITE{Maintaining}{%
		Blundo:1995:MKD%
		}.
\NAMECITE{maintenance}{%
		Alhebaishi:2019:MIT%
		}.
\NAMECITE{malicious}{%
		Fuhry:2018:HPS%
		}.
\NAMECITE{malleable}{%
		Myers:2013:BBC%
		}.
\NAMECITE{malware}{%
		Luckett:2018:ISM,%
		Rieck:2011:AAM,%
		Stergiopoulos:2019:USC,%
		Urban:2019:ALP%
		}.
\NAMECITE{man}{%
		Shirvanian:2018:SVI,%
		Zavatteri:2019:LMS%
		}.
\NAMECITE{man-in-the-middle}{%
		Shirvanian:2018:SVI%
		}.
\NAMECITE{Manageable}{%
		Brose:2002:MAC%
		}.
\NAMECITE{Management}{%
		Atluri:1993:ASC,%
		Eamani:2006:LBP,%
		Foley:2011:MSP,%
		Kang:1995:TMM,%
		Meadows:1992:AFM,%
		Notargiacomo:1995:MMI,%
		Ahn:2012:PDR,%
		Atluri:1997:EMD,%
		Atluri:2004:CWS,%
		Baldwin:2010:AFI,%
		Becker:2012:IFT,%
		Braun:2014:CTM,%
		Buldas:2002:ECA,%
		Candebat:2006:SPM,%
		Centenaro:2013:TBA,%
		Chander:2004:RTM,%
		Cuppens:2013:FSM,%
		DiPietro:2004:KMH,%
		Goodrich:2008:NFI,%
		Iheagwara:2004:CEM,%
		Kayem:2008:RCK,%
		Li:2003:DCC,%
		Lin:2017:SAC,%
		Lippert:2006:LCM,%
		Mont:2008:PPE,%
		Niu:2014:FVS,%
		Reiter:1996:KMS,%
		Shmatikov:2005:RBT,%
		Skalka:2007:RMD,%
		Sun:2012:TAV,%
		Wang:2008:CBH%
		}.
\NAMECITE{managing}{%
		Gritzalis:2011:SPM%
		}.
\NAMECITE{mandatory}{%
		Atluri:1997:EMD,%
		Aziz:2009:CSA%
		}.
\NAMECITE{{MANETs}}{%
		Zouridaki:2007:HQT%
		}.
\NAMECITE{market}{%
		Campbell:2003:ECP%
		}.
\NAMECITE{{Mashic}}{%
		Luo:2016:MCM%
		}.
\NAMECITE{Mashup}{%
		Luo:2016:MCM%
		}.
\NAMECITE{masking}{%
		Yu:2005:SUI%
		}.
\NAMECITE{matching}{%
		Baron:2013:SPM,%
		Blanton:2012:SOC%
		}.
\NAMECITE{Mathematical}{%
		Gray:1992:TMF%
		}.
\NAMECITE{{MC}}{%
		Conrad:2010:AUT%
		}.
\NAMECITE{means}{%
		Lekkas:2010:PMT,%
		Lotz:1997:TSM%
		}.
\NAMECITE{measure}{%
		Kar:2016:SSI%
		}.
\NAMECITE{Measures}{%
		Littlewood:1993:TOM%
		}.
\NAMECITE{Measuring}{%
		Merlo:2015:MEP%
		}.
\NAMECITE{mechanism}{%
		Cho:2004:GKR,%
		Phatak:2013:SIN,%
		Welch:2002:URM%
		}.
\NAMECITE{mechanisms}{%
		Alvim:2015:ILD,%
		Bodei:2016:CAS%
		}.
\NAMECITE{mediated}{%
		Candebat:2006:SPM,%
		Ding:2009:LFM%
		}.
\NAMECITE{mediating}{%
		Jing:2016:TML%
		}.
\NAMECITE{mediation}{%
		Altenschmidt:2003:SMR%
		}.
\NAMECITE{memory}{%
		Guanciale:2016:PSM%
		}.
\NAMECITE{Merging}{%
		Bonatti:1997:MHS,%
		Chakraborty:2018:HAD,%
		Notargiacomo:1995:MMI%
		}.
\NAMECITE{Message}{%
		Anonymous:2007:MGE,%
		Backes:2014:MGE,%
		Guttman:2004:FAP,%
		Backes:2008:KDM%
		}.
\NAMECITE{metaprogramming}{%
		Lester:2016:IFA%
		}.
\NAMECITE{metering}{%
		Franklin:1998:AML%
		}.
\NAMECITE{method}{%
		Guttman:2004:ATD,%
		Hauser:1996:RSP,%
		Hirschi:2019:MUV,%
		Rocchetto:2017:IBM,%
		Wright:2001:DGM,%
		Wright:2002:DGM%
		}.
\NAMECITE{methodology}{%
		Casola:2007:PBM%
		}.
\NAMECITE{Methods}{%
		Meadows:1992:AFM,%
		Chakraborty:2018:HAD%
		}.
\NAMECITE{Metric}{%
		Casola:2007:PBM%
		}.
\NAMECITE{metrics}{%
		Homer:2013:AVM,%
		Stoller:2018:MHT%
		}.
\NAMECITE{micro}{%
		Liu:2015:JSD%
		}.
\NAMECITE{micro-data}{%
		Liu:2015:JSD%
		}.
\NAMECITE{microphones}{%
		Gupta:2018:SCA%
		}.
\NAMECITE{middle}{%
		Shirvanian:2018:SVI%
		}.
\NAMECITE{Minimizing}{%
		Vaidya:2009:ERM%
		}.
\NAMECITE{Minimum}{%
		Le:2016:MCR%
		}.
\NAMECITE{Mining}{%
		Stoller:2018:MHT,%
		Clifton:2000:USS,%
		Lu:2014:OFR,%
		Mitra:2015:GTR,%
		Vaidya:2005:SSI%
		}.
\NAMECITE{misbehavior}{%
		Radosavac:2007:DIM%
		}.
\NAMECITE{mitigate}{%
		Zhang:2011:UTA%
		}.
\NAMECITE{Mitigating}{%
		Alhebaishi:2019:MIT,%
		Molsa:2005:MDS%
		}.
\NAMECITE{{MITRE}}{%
		LaPadula:1996:MTR%
		}.
\NAMECITE{mix}{%
		Jadliwala:2013:OMZ%
		}.
\NAMECITE{mix-zone}{%
		Jadliwala:2013:OMZ%
		}.
\NAMECITE{mixtures}{%
		Belsis:2008:AEF,%
		Belsis:2009:AEF%
		}.
\NAMECITE{mobile}{%
		Alshehri:2015:FFS,%
		Atluri:2008:ESP,%
		Besson:2010:VRA,%
		Carter:2016:SOG,%
		Diao:2018:AMU,%
		Horn:2000:APF%
		}.
\NAMECITE{Model}{%
		Ammann:1992:ESP,%
		Bertino:1995:EAM,%
		Besson:2001:MCS,%
		Bishop:1995:TIT,%
		DSouza:2011:MCT,%
		DSouza:2016:MCT,%
		Jha:2004:MCS,%
		Millen:1993:RAM,%
		Motro:1992:UMS,%
		Ramakrishnan:2002:MBA,%
		Sandhu:1992:EPS,%
		Atluri:2000:SBE,%
		Buttyan:2004:FMR,%
		Cimato:2006:UMU,%
		Kamil:2011:ATS,%
		Lowe:1999:TCR,%
		Lu:2015:TUO,%
		Millen:1996:EPB,%
		Ray:1998:SBT,%
		Roscoe:1999:PSP,%
		Sandhu:1999:RBA,%
		Shin:2011:PAM,%
		Toahchoodee:2011:FAS,%
		Zhang:2008:SVA,%
		Bishop:1996:CIF%
		}.
\NAMECITE{Model-based}{%
		Ramakrishnan:2002:MBA%
		}.
\NAMECITE{Model-checking}{%
		DSouza:2011:MCT,%
		DSouza:2016:MCT%
		}.
\NAMECITE{Modeling}{%
		Bezzi:2012:MPI,%
		Lee:2002:TCS,%
		Nayyar:2008:AAM%
		}.
\NAMECITE{Modelling}{%
		Gudes:1999:MSI,%
		Trostle:1993:MFT%
		}.
\NAMECITE{Models}{%
		Notargiacomo:1995:MMI,%
		Ammann:1996:EPM,%
		Atluri:2000:PNB,%
		Goubault-Larrecq:2010:FMF,%
		Schellhorn:2002:VFS,%
		Tripunitara:2007:TCE,%
		Yu:2005:SUI%
		}.
\NAMECITE{modern}{%
		Giustolisi:2018:ICM%
		}.
\NAMECITE{Modular}{%
		Costa:2012:MPS,%
		Schlesinger:2014:MPA,%
		Hughes:2004:IHA,%
		Kolesnikov:2013:SAP%
		}.
\NAMECITE{monadic}{%
		Harrison:2009:AIF%
		}.
\NAMECITE{monitoring}{%
		Dam:2010:PCI,%
		Jajodia:2016:UTP%
		}.
\NAMECITE{monotonic}{%
		Ammann:1996:EPM%
		}.
\NAMECITE{multi}{%
		Ammann:1996:EPM,%
		Bhargav-Spantzel:2007:PPM,%
		Cabuk:2010:TAS,%
		Cheng:2009:QAV,%
		DeAngelis:2011:SAT,%
		DeGroef:2014:SME,%
		Dewri:2011:EPV,%
		Han:2018:RAM,%
		Jing:2016:TML,%
		Mantel:2003:UAS,%
		Ngo:2014:EVC,%
		Rafnsson:2016:SME,%
		Smith:2006:ITP,%
		Wang:2007:PBI,%
		Zhou:2008:SPR,%
		Zuquete:2005:EHQ%
		}.
\NAMECITE{multi-agent}{%
		DeAngelis:2011:SAT%
		}.
\NAMECITE{multi-dimensional}{%
		Cheng:2009:QAV,%
		Wang:2007:PBI%
		}.
\NAMECITE{multi-execution}{%
		DeGroef:2014:SME,%
		Rafnsson:2016:SME%
		}.
\NAMECITE{multi-factor}{%
		Bhargav-Spantzel:2007:PPM%
		}.
\NAMECITE{multi-layer}{%
		Jing:2016:TML%
		}.
\NAMECITE{multi-level}{%
		Zhou:2008:SPR%
		}.
\NAMECITE{multi-objective}{%
		Dewri:2011:EPV,%
		Han:2018:RAM%
		}.
\NAMECITE{multi-parent}{%
		Ammann:1996:EPM%
		}.
\NAMECITE{multi-programmed}{%
		Zuquete:2005:EHQ%
		}.
\NAMECITE{multi-tenant}{%
		Cabuk:2010:TAS%
		}.
\NAMECITE{multi-threaded}{%
		Mantel:2003:UAS,%
		Ngo:2014:EVC,%
		Smith:2006:ITP%
		}.
\NAMECITE{multiagent}{%
		Halpern:2005:AIH%
		}.
\NAMECITE{multiapplicative}{%
		Schellhorn:2002:VFS%
		}.
\NAMECITE{Multicast}{%
		Zhu:2006:GEG,%
		DiPietro:2004:KMH,%
		DiPietro:2010:HKS,%
		Levine:2002:HMB,%
		Malkhi:1997:HTS%
		}.
\NAMECITE{Multilevel}{%
		Adaikkalavan:2012:MSD,%
		Ammann:1995:CCS,%
		Atluri:1993:ASC,%
		Jajodia:2001:MST,%
		Kang:1995:TMM,%
		Thomas:1993:KAM,%
		Atluri:2000:SBE,%
		Bertino:1999:SOD,%
		Ray:1998:SBT%
		}.
\NAMECITE{multimodal}{%
		Argyropoulos:2010:BTP%
		}.
\NAMECITE{Multiple}{%
		Blundo:1995:MKD,%
		Chen:1995:DTA,%
		DeCapitanidiVimercati:2013:SCM,%
		Knudsen:1998:SMD,%
		Stoller:2018:MHT,%
		Zhang:2018:PPV%
		}.
\NAMECITE{multisensor}{%
		Siaterlis:2005:OSA%
		}.
\NAMECITE{Multiset}{%
		Durgin:2004:MRC,%
		Bistarelli:2005:RMR,%
		Cervesato:2005:CBS%
		}.
\NAMECITE{multithreaded}{%
		Dam:2010:PCI%
		}.


\NAMECITE{name}{%
		Abadi:1998:SLL,%
		Halpern:2001:LSL,%
		Spalka:2000:SNS%
		}.
\NAMECITE{name-spaces}{%
		Spalka:2000:SNS%
		}.
\NAMECITE{{Needham}}{%
		Warinschi:2005:CAN%
		}.
\NAMECITE{needles}{%
		Pala:2010:FPN%
		}.
\NAMECITE{net}{%
		Atluri:2000:PNB,%
		Zhang:2018:PPV%
		}.
\NAMECITE{{NetSTAT}}{%
		Vigna:1999:NNB%
		}.
\NAMECITE{network}{%
		Borbor:2018:SUV,%
		Bowen:2012:SGI,%
		Geigel:2013:NNT,%
		Nayyar:2008:AAM,%
		Roscheisen:1997:NCD,%
		Uribe:2007:AAF,%
		Vigna:1999:NNB,%
		Wehner:2007:AWN,%
		dAusbourg:1996:CCD%
		}.
\NAMECITE{network-based}{%
		Vigna:1999:NNB%
		}.
\NAMECITE{network-centric}{%
		Roscheisen:1997:NCD%
		}.
\NAMECITE{Networks}{%
		Visconti:2013:SIA,%
		Zhu:2006:GEG,%
		Aziz:2009:CSA,%
		Chan:2007:SSI,%
		Chuang:1996:SAN,%
		Guan:2017:SKE,%
		Homer:2013:AVM,%
		Hsu:2011:WLC,%
		Jadliwala:2013:OMZ,%
		Kakkar:2003:RAS,%
		Levy:2018:SHB,%
		Lopez:2006:UPK,%
		Meadows:2001:CBF,%
		Peddinti:2014:WSQ,%
		Radosavac:2007:DIM,%
		Raya:2007:SVA,%
		Salvail:2010:STR,%
		Taglienti:2016:UAP,%
		Traynor:2008:EOF,%
		Zanin:2007:RRD%
		}.
\NAMECITE{Neural}{%
		Geigel:2013:NNT%
		}.
\NAMECITE{{NEXPTIME}}{%
		Tiplea:2008:SBS%
		}.
\NAMECITE{{NEXPTIME}-complete}{%
		Tiplea:2008:SBS%
		}.
\NAMECITE{{NFC}}{%
		Alshehri:2015:FFS%
		}.
\NAMECITE{no}{%
		Cheng:2017:SFN%
		}.
\NAMECITE{no-root}{%
		Cheng:2017:SFN%
		}.
\NAMECITE{noisy}{%
		Guan:2017:SKE%
		}.
\NAMECITE{Non}{%
		Bugliesi:2005:NIP,%
		Murray:2008:NDA,%
		Roscoe:1996:NIT,%
		Zakinthinos:1995:CNI,%
		DiPierro:2004:ANI,%
		Kremer:2003:GBV,%
		Lipmaa:2013:MEC,%
		Matos:2009:DND,%
		Myers:2013:BBC,%
		Ryan:2001:PAN,%
		Schlesinger:2014:MPA,%
		Wang:2006:GNR%
		}.
\NAMECITE{non-control}{%
		Schlesinger:2014:MPA%
		}.
\NAMECITE{Non-delegatable}{%
		Murray:2008:NDA%
		}.
\NAMECITE{non-disclosure}{%
		Matos:2009:DND%
		}.
\NAMECITE{non-interactive}{%
		Lipmaa:2013:MEC%
		}.
\NAMECITE{Non-Interference}{%
		Zakinthinos:1995:CNI,%
		Bugliesi:2005:NIP,%
		Roscoe:1996:NIT,%
		DiPierro:2004:ANI,%
		Ryan:2001:PAN%
		}.
\NAMECITE{non-malleable}{%
		Myers:2013:BBC%
		}.
\NAMECITE{non-repudiation}{%
		Kremer:2003:GBV,%
		Wang:2006:GNR%
		}.
\NAMECITE{nondeterministic}{%
		Bischof:2018:LDS%
		}.
\NAMECITE{Noninterference}{%
		Bevier:1995:SBA,%
		Foley:1992:ASN,%
		McLean:1992:PNF,%
		Aldini:2004:PAA,%
		Smith:2006:ITP,%
		Volpano:1999:PNC,%
		vanderMeyden:2015:WII%
		}.
\NAMECITE{{Norwegian}}{%
		Cortier:2017:FAN,%
		Hagen:2008:PAU%
		}.
\NAMECITE{Notarized}{%
		Goodrich:2008:NFI%
		}.
\NAMECITE{note}{%
		Blundo:1999:NRD%
		}.
\NAMECITE{novel}{%
		Song:2001:ANA%
		}.
\NAMECITE{{NPATRL}}{%
		Meadows:2004:FSA%
		}.
\NAMECITE{{NRL}}{%
		Meadows:2004:FSA%
		}.
\NAMECITE{number}{%
		Zuquete:2005:EHQ%
		}.


\NAMECITE{{OBDD}}{%
		Ciriani:2012:OAE%
		}.
\NAMECITE{obfuscated}{%
		Balagani:2019:PPP%
		}.
\NAMECITE{obfuscation}{%
		Peddinti:2014:WSQ,%
		Preda:2009:SBC,%
		Preda:2018:CPD,%
		Pucella:2010:IOS%
		}.
\NAMECITE{Object}{%
		Bertino:1995:EAM,%
		Thomas:1993:KAM,%
		Bertino:1999:SOD,%
		Demurjian:1997:TDP,%
		Hale:2000:TBA%
		}.
\NAMECITE{Object-Oriented}{%
		Thomas:1993:KAM,%
		Demurjian:1997:TDP%
		}.
\NAMECITE{objective}{%
		Crampton:2017:BOW,%
		Dewri:2011:EPV,%
		Han:2018:RAM%
		}.
\NAMECITE{objectives}{%
		Basin:2014:OFA%
		}.
\NAMECITE{obligations}{%
		Cuppens:2013:FSM%
		}.
\NAMECITE{Obstruction}{%
		Basin:2014:OFA%
		}.
\NAMECITE{Obstruction-free}{%
		Basin:2014:OFA%
		}.
\NAMECITE{off}{%
		Wang:2006:GNR%
		}.
\NAMECITE{off-line}{%
		Wang:2006:GNR%
		}.
\NAMECITE{offs}{%
		Dewri:2011:EPV%
		}.
\NAMECITE{One}{%
		Siaterlis:2005:OSA,%
		Paiola:2013:VSP%
		}.
\NAMECITE{open}{%
		Bhargav-Spantzel:2007:UCT,%
		Liu:2017:FBO,%
		Traynor:2008:EOF%
		}.
\NAMECITE{operating}{%
		Shieh:1996:DIL%
		}.
\NAMECITE{Operational}{%
		Littlewood:1993:TOM%
		}.
\NAMECITE{operations}{%
		Duggan:2004:TBC,%
		Wuller:2017:DPP,%
		Yu:2005:SUI%
		}.
\NAMECITE{operator}{%
		Millen:2005:SPAa,%
		Millen:2005:SPAb%
		}.
\NAMECITE{opinion}{%
		Choo:2017:DOS%
		}.
\NAMECITE{opportunities}{%
		Bisht:2014:ADP%
		}.
\NAMECITE{optimal}{%
		Jajodia:2016:UTP,%
		Ma:2019:TOP%
		}.
\NAMECITE{Optimality}{%
		Yahalom:1993:OAT%
		}.
\NAMECITE{optimization}{%
		Dewri:2011:EPV,%
		Lu:2014:OFR%
		}.
\NAMECITE{optimized}{%
		Han:2018:RAM%
		}.
\NAMECITE{Optimizing}{%
		Jadliwala:2013:OMZ%
		}.
\NAMECITE{options}{%
		Borbor:2018:SUV%
		}.
\NAMECITE{{Oracle}}{%
		Sandhu:1999:RBA%
		}.
\NAMECITE{{ORAM}}{%
		Maffei:2019:GOP%
		}.
\NAMECITE{order}{%
		Cohen:2003:FOV,%
		Halpern:2017:QQP%
		}.
\NAMECITE{orderings}{%
		Bonatti:1997:MHS%
		}.
\NAMECITE{Oriented}{%
		Thomas:1993:KAM,%
		Demurjian:1997:TDP,%
		Lu:2015:TUO%
		}.
\NAMECITE{origin}{%
		Buchholz:2004:PPO%
		}.
\NAMECITE{outsourced}{%
		Blanton:2012:SOC,%
		Carter:2016:SOG,%
		Cheng:2009:QAV,%
		DeCapitanidiVimercati:2013:SCM,%
		Li:2015:NAC,%
		Maffei:2019:GOP%
		}.
\NAMECITE{outsourcing}{%
		Ciriani:2011:SDO%
		}.
\NAMECITE{overflow}{%
		Zhang:2011:UTA%
		}.
\NAMECITE{ownership}{%
		Ng:2011:PRO%
		}.


\NAMECITE{{P5}}{%
		Sherwood:2005:PPS%
		}.
\NAMECITE{packet}{%
		Zouridaki:2007:HQT%
		}.
\NAMECITE{pairings}{%
		Kremer:2010:CSA%
		}.
\NAMECITE{Panoptis}{%
		Spinellis:2002:PID%
		}.
\NAMECITE{Paper}{%
		Anonymous:2015:RPS%
		}.
\NAMECITE{Papers}{%
		Anonymous:1992:CPE,%
		Anonymous:1995:CP%
		}.
\NAMECITE{paradigm}{%
		Demurjian:1997:TDP%
		}.
\NAMECITE{{Paragon}}{%
		Broberg:2017:PPP%
		}.
\NAMECITE{parallel}{%
		Broadfoot:2004:EAW%
		}.
\NAMECITE{parameter}{%
		Bisht:2014:ADP%
		}.
\NAMECITE{parent}{%
		Ammann:1996:EPM%
		}.
\NAMECITE{Parity}{%
		Wang:2007:PBI%
		}.
\NAMECITE{Parity-based}{%
		Wang:2007:PBI%
		}.
\NAMECITE{parse}{%
		Barenghi:2018:SPX%
		}.
\NAMECITE{parsing}{%
		Barenghi:2018:SPX%
		}.
\NAMECITE{partial}{%
		Adao:2009:SCF%
		}.
\NAMECITE{partitions}{%
		Crampton:2017:CEI%
		}.
\NAMECITE{Party}{%
		Yahalom:1993:OAT,%
		Kolesnikov:2013:SAP%
		}.
\NAMECITE{passive}{%
		Camenisch:1997:DPS%
		}.
\NAMECITE{passports}{%
		Sinha:2011:SSS,%
		Lekkas:2010:PMT%
		}.
\NAMECITE{Password}{%
		Balagani:2019:PPP,%
		Demay:2019:PSS,%
		Hauser:1996:RSP,%
		Mannan:2011:LPD%
		}.
\NAMECITE{Password-based}{%
		Demay:2019:PSS%
		}.
\NAMECITE{passwords}{%
		vanOorschot:2011:EPC%
		}.
\NAMECITE{Patching}{%
		Bugliesi:2015:CPB%
		}.
\NAMECITE{Paths}{%
		Hinke:1995:FAD%
		}.
\NAMECITE{pattern}{%
		Baron:2013:SPM%
		}.
\NAMECITE{patterns}{%
		Salva:2019:CAS,%
		Wespi:2000:FVV%
		}.
\NAMECITE{payment}{%
		Camenisch:1997:DPS,%
		Horn:2000:APF,%
		Yu:2019:CAF%
		}.
\NAMECITE{{PCPOR}}{%
		Yuan:2015:PPC%
		}.
\NAMECITE{Penetration}{%
		Gupta:1992:TTP%
		}.
\NAMECITE{Penetration-Resistant}{%
		Gupta:1992:TTP%
		}.
\NAMECITE{Per-session}{%
		Demay:2019:PSS%
		}.
\NAMECITE{performance}{%
		Balagani:2018:IAC,%
		Davidson:2016:CSS,%
		Iheagwara:2003:CEE,%
		Lowden:2015:DPA,%
		Ma:2019:TOP,%
		McDermott:1996:APC,%
		Spalazzi:2015:SIS%
		}.
\NAMECITE{Performing}{%
		Blyth:2006:PRT%
		}.
\NAMECITE{persistent}{%
		Taglienti:2016:UAP%
		}.
\NAMECITE{personal}{%
		Maffei:2019:GOP,%
		Mannan:2011:LPD,%
		Urban:2019:ALP%
		}.
\NAMECITE{personalization}{%
		Diao:2018:AMU%
		}.
\NAMECITE{pervasive}{%
		Jadliwala:2013:OMZ%
		}.
\NAMECITE{{Petri}}{%
		Atluri:2000:PNB%
		}.
\NAMECITE{phishing}{%
		Bergholz:2010:NFA%
		}.
\NAMECITE{{Phones}}{%
		Shirvanian:2018:SVI%
		}.
\NAMECITE{pi}{%
		Blanchet:2018:ARE,%
		Delaune:2010:SBA%
		}.
\NAMECITE{pie}{%
		Heiderich:2014:SAS%
		}.
\NAMECITE{{PILOT}}{%
		Balagani:2019:PPP%
		}.
\NAMECITE{{PIN}}{%
		Balagani:2019:PPP%
		}.
\NAMECITE{{PKCS\#11}}{%
		Centenaro:2013:TBA,%
		Delaune:2010:FSA%
		}.
\NAMECITE{{PKI}}{%
		Braun:2014:CTM,%
		Buchmann:2014:TMS,%
		Nithyanand:2011:UAR,%
		Pala:2010:FPN%
		}.
\NAMECITE{{PKI}-based}{%
		Nithyanand:2011:UAR%
		}.
\NAMECITE{placement}{%
		Han:2018:RAM%
		}.
\NAMECITE{plaintext}{%
		Myers:2013:BBC%
		}.
\NAMECITE{Planning}{%
		Bartoletti:2009:PVS%
		}.
\NAMECITE{plans}{%
		Costa:2012:MPS%
		}.
\NAMECITE{platform}{%
		Gritzalis:2011:SPM%
		}.
\NAMECITE{policies}{%
		Armando:2012:SAS,%
		Batra:2019:DAP,%
		Bodei:2005:CSP,%
		Crampton:2017:CEI,%
		Cuppens:2013:FSM,%
		Hu:2009:CRR,%
		Mallios:2015:PCE,%
		Mardziel:2013:DEK,%
		Neville:2018:RAF,%
		Ranise:2018:AEA,%
		Welch:2002:URM%
		}.
\NAMECITE{Policy}{%
		Ahn:2012:PDR,%
		Yang:2015:PAA,%
		Atluri:2008:ESP,%
		Belim:2015:AGR,%
		Biskup:2008:PCQ,%
		Biskup:2012:DPA,%
		Cabuk:2010:TAS,%
		Casola:2007:PBM,%
		Eamani:2006:LBP,%
		Foley:2011:MSP,%
		Matos:2009:DND,%
		McDaniel:2006:EPA,%
		Mont:2008:PPE,%
		Niu:2014:FVS,%
		Zhou:2008:SPR%
		}.
\NAMECITE{policy-based}{%
		Casola:2007:PBM%
		}.
\NAMECITE{Policy-driven}{%
		Ahn:2012:PDR%
		}.
\NAMECITE{Polynomial}{%
		Backes:2004:PL,%
		Hofheinz:2009:PRS,%
		Hamadou:2010:CPS%
		}.
\NAMECITE{polynomial-time}{%
		Hamadou:2010:CPS%
		}.
\NAMECITE{portscans}{%
		Staniford:2002:PAD%
		}.
\NAMECITE{Power}{%
		Sandhu:1992:EPS,%
		Ammann:1996:EPM,%
		Hamadou:2010:CPS,%
		Luckett:2018:ISM,%
		Merlo:2015:MEP,%
		Tripunitara:2007:TCE%
		}.
\NAMECITE{Practical}{%
		Boureanu:2015:PPS,%
		Broberg:2017:PPP,%
		DiCrescenzo:2016:PPP,%
		Fuhry:2018:HPS,%
		Hancke:2011:PES,%
		Ng:2011:PRO,%
		Staniford:2002:PAD,%
		Bielova:2012:IES,%
		Diao:2018:AMU%
		}.
\NAMECITE{practically}{%
		Kolesnikov:2013:SAP%
		}.
\NAMECITE{practice}{%
		DeGroef:2014:SME,%
		Herzberg:2009:FPT%
		}.
\NAMECITE{predictability}{%
		vanOorschot:2011:EPC%
		}.
\NAMECITE{Preface}{%
		Armando:2012:P,%
		Atluri:2011:P,%
		Backes:2007:P,%
		Barthe:2012:P,%
		Degano:2013:P,%
		Desmet:2014:P,%
		Focardi:2006:P,%
		Gong:1995:GEP,%
		Gorla:2010:P,%
		Goto:2006:P,%
		Goto:2007:P,%
		Goto:2010:P,%
		Gritzalis:2011:GEP,%
		Jajodia:1992:EPa,%
		Jajodia:1992:EPb,%
		Jajodia:1993:EPa,%
		Jajodia:1995:EPa,%
		Jajodia:1995:EPc,%
		Li:2012:GEP,%
		Lunt:1992:GEP,%
		McLean:1993:GEP,%
		Millen:1993:EPb,%
		Millen:1995:EPb,%
		Myers:2012:P,%
		Petkovic:2009:P,%
		Sabelfeld:2008:P,%
		Sabelfeld:2010:P,%
		Sandhu:1992:GEP,%
		Zhou:2006:P,%
		Atluri:2000:GEP,%
		Bella:2005:GEP,%
		Bertino:1996:GEP,%
		Bertino:1997:GEP,%
		Cuppens:2002:GEP,%
		Deswarte:2000:GEP,%
		Focardi:2005:GEP,%
		Foley:1998:GEP,%
		Foley:1999:GEP,%
		Frincke:2002:GEP,%
		Gorrieri:2005:GEP,%
		Guttman:2004:GEP,%
		Jajodia:1996:EPa,%
		Jajodia:1996:EPb,%
		Jajodia:1997:EP,%
		Jajodia:2002:GEP,%
		Li:2011:GEP,%
		Lin:1999:GEP,%
		Lin:2000:GEP,%
		Merritt:1997:GEP,%
		Millen:1996:EPB,%
		Samarati:1997:GEP,%
		Schneider:2003:GEP,%
		Schneider:2004:GEP,%
		Syverson:2001:GEP,%
		Syverson:2003:GEP,%
		Thuraisingham:2003:GEP%
		}.
\NAMECITE{Preprocessing}{%
		Biskup:2008:PCQ%
		}.
\NAMECITE{preservation}{%
		Davidson:2016:CSS%
		}.
\NAMECITE{Preserving}{%
		Chen:2014:PUQ,%
		Bhargav-Spantzel:2007:PPM,%
		Blundo:2014:EEP,%
		Byun:2009:PPI,%
		DiCrescenzo:2016:PPP,%
		Guttman:2014:EPP,%
		Halevi:2011:TBH,%
		Hui:2001:FPS,%
		Liu:2015:JSD,%
		Wuller:2017:DPP,%
		Zhang:2018:PPV%
		}.
\NAMECITE{prevent}{%
		Heather:2003:HPT%
		}.
\NAMECITE{preventing}{%
		Bezzi:2012:MPI,%
		Bodei:2010:DPT,%
		Soupionis:2014:GTA%
		}.
\NAMECITE{Prevention}{%
		Skormin:2007:PIA,%
		Calzavara:2019:SSH%
		}.
\NAMECITE{{PRIME}}{%
		Ardagna:2010:ECP%
		}.
\NAMECITE{principles}{%
		Sabelfeld:2009:DDP%
		}.
\NAMECITE{Privacy}{%
		Arapinis:2013:PSC,%
		Armknecht:2019:PIR,%
		Bhargav-Spantzel:2007:PPM,%
		Byun:2009:PPI,%
		Mont:2008:PPE,%
		Spindler:2008:PVS,%
		Zhang:2018:PPV,%
		Ardagna:2008:PAA,%
		Ardagna:2010:ECP,%
		Balagani:2018:IAC,%
		Bella:2015:SSP,%
		Bergadano:1997:SAP,%
		Blundo:2014:EEP,%
		Chen:2014:PUQ,%
		Chen:2018:KSQ,%
		Ciriani:2011:SDO,%
		Davidson:2016:CSS,%
		Delaune:2009:VPT,%
		Deng:2011:ZKB,%
		Dewri:2011:EPV,%
		DiCrescenzo:2016:PPP,%
		Diao:2018:AMU,%
		Giffin:2017:HPD,%
		Halevi:2011:TBH,%
		Hirschi:2019:MUV,%
		Hughes:2004:IHA,%
		Levy:2018:SHB,%
		Li:2010:ESS,%
		Liu:2015:JSD,%
		Maffei:2019:GOP,%
		Peddinti:2014:WSQ,%
		Sun:2012:TAV,%
		Teepe:2003:WAS,%
		Wuller:2017:DPP,%
		Yao:2009:EPT%
		}.
\NAMECITE{privacy-aware}{%
		Ardagna:2008:PAA%
		}.
\NAMECITE{privacy-enhanced}{%
		Ardagna:2010:ECP%
		}.
\NAMECITE{Privacy-preserving}{%
		Byun:2009:PPI,%
		Zhang:2018:PPV,%
		Blundo:2014:EEP,%
		DiCrescenzo:2016:PPP,%
		Halevi:2011:TBH,%
		Wuller:2017:DPP%
		}.
\NAMECITE{Privacy-supporting}{%
		Arapinis:2013:PSC%
		}.
\NAMECITE{privacy-type}{%
		Delaune:2009:VPT,%
		Hirschi:2019:MUV%
		}.
\NAMECITE{Private}{%
		Syverson:1997:PWB,%
		Alvim:2015:ILD,%
		DeCapitanidiVimercati:2013:SCM,%
		Dreier:2015:BFP%
		}.
\NAMECITE{proactive}{%
		Majumdar:2019:LPD%
		}.
\NAMECITE{Probabilistic}{%
		Mallios:2015:PCE,%
		Shmatikov:2004:PAA,%
		Volpano:1999:PNC,%
		Aldini:2004:PAA,%
		Hamadou:2010:CPS,%
		Jajodia:2016:UTP,%
		Majumdar:2019:LPD,%
		Mardziel:2013:DEK,%
		Norman:2006:APC,%
		Smith:2006:ITP%
		}.
\NAMECITE{probability}{%
		Kanovich:2017:TCC%
		}.
\NAMECITE{Problem}{%
		Horton:1993:CVP,%
		Bella:2015:SSP,%
		Bistarelli:2005:SCB,%
		Crampton:2017:BOW,%
		Mitra:2015:GTR,%
		Taglienti:2016:UAP%
		}.
\NAMECITE{problems}{%
		Yasuoka:2011:BPQ%
		}.
\NAMECITE{procedure}{%
		Heather:2005:DPE%
		}.
\NAMECITE{Process}{%
		Focardi:1995:CSP,%
		Ryan:2001:PAN,%
		Aldini:2004:PAA,%
		Bistarelli:2005:RMR,%
		Buchholz:2004:PPO,%
		Jing:2016:TML,%
		Wespi:2000:FVV,%
		Yu:2005:SUI%
		}.
\NAMECITE{process-algebraic}{%
		Aldini:2004:PAA%
		}.
\NAMECITE{processes}{%
		Arapinis:2014:SVS%
		}.
\NAMECITE{processing}{%
		Adaikkalavan:2012:MSD,%
		Jajodia:2001:MST,%
		McDermott:1996:APC,%
		Ray:1998:SBT%
		}.
\NAMECITE{product}{%
		Kelsey:2000:SCC%
		}.
\NAMECITE{profile}{%
		Shin:2011:PAM%
		}.
\NAMECITE{profiles}{%
		Li:2002:EPA%
		}.
\NAMECITE{Programmable}{%
		Hale:2003:PAC%
		}.
\NAMECITE{programmed}{%
		Zuquete:2005:EHQ%
		}.
\NAMECITE{programming}{%
		Broberg:2017:PPP,%
		Hong:2012:SED%
		}.
\NAMECITE{programs}{%
		Bischof:2018:LDS,%
		Bossi:2007:CIF,%
		Dam:2010:PCI,%
		Mantel:2003:UAS,%
		Ngo:2014:EVC%
		}.
\NAMECITE{{Project}}{%
		Ardagna:2010:ECP%
		}.
\NAMECITE{{Prometheus}}{%
		Continella:2017:PAW%
		}.
\NAMECITE{Proof}{%
		Garg:2012:SAL,%
		Biskup:2011:IPV,%
		Bugliesi:2005:NIP,%
		Rubio:2019:TAI%
		}.
\NAMECITE{proofs}{%
		Akinyele:2014:MGA,%
		Backes:2010:CSS,%
		Goubault-Larrecq:2010:FMF,%
		Halpern:2017:QQP,%
		Meier:2013:ECM,%
		Yuan:2015:PPC%
		}.
\NAMECITE{Properties}{%
		Focardi:1995:CSP,%
		Foley:1992:ASN,%
		Besson:2001:MCS,%
		Cortier:2006:SAP,%
		DSouza:2011:MCT,%
		DSouza:2016:MCT,%
		Delaune:2009:VPT,%
		Durgin:2003:CLP,%
		Halpern:2017:QQP,%
		Hirschi:2019:MUV,%
		Niu:2014:FVS,%
		Roy:2010:ITP%
		}.
\NAMECITE{property}{%
		Preda:2018:CPD%
		}.
\NAMECITE{property-driven}{%
		Preda:2018:CPD%
		}.
\NAMECITE{propositional}{%
		Biskup:2012:DPA%
		}.
\NAMECITE{proprietary}{%
		Delaune:2010:FSA%
		}.
\NAMECITE{Protecting}{%
		Giffin:2017:HPD,%
		Bhargav-Spantzel:2006:EPD,%
		DeCapitanidiVimercati:2018:EAW%
		}.
\NAMECITE{Protection}{%
		Ammann:1992:ESP,%
		Bishop:1995:TIT,%
		Bishop:1996:CIF,%
		Hagen:2008:PAU,%
		Millen:1993:RAM,%
		Sandhu:1992:EPS,%
		Argyropoulos:2010:BTP,%
		Conrad:2010:AUT,%
		DeCapitanidiVimercati:2001:GIP,%
		Wang:2008:CBH%
		}.
\NAMECITE{protections}{%
		Schlesinger:2014:MPA%
		}.
\NAMECITE{Protocol}{%
		Meadows:1992:AFM,%
		Meadows:2004:FSA,%
		Backes:2014:UIR,%
		Bistarelli:2005:RMR,%
		Buttyan:2004:FMR,%
		Cade:2015:PGI,%
		Cervesato:2005:CBS,%
		Cortier:2017:FAN,%
		Dreier:2015:BFP,%
		Guan:2017:SKE,%
		Guttman:2004:FAP,%
		Guttman:2014:EPP,%
		Levine:2002:HMB,%
		Malkhi:1997:HTS,%
		Meier:2013:ECM,%
		Millen:2005:SPAa,%
		Millen:2005:SPAb,%
		Nguyen:2018:ASP,%
		Paulson:2001:RBS,%
		Sherwood:2005:PPS,%
		Song:2001:ANA,%
		Warinschi:2005:CAN,%
		Yasinsac:2002:ESP,%
		Zhou:2012:FAS,%
		Meadows:2004:FSA%
		}.
\NAMECITE{Protocols}{%
		Simmons:1995:RTI,%
		Syverson:1992:KBS,%
		Yahalom:1993:OAT,%
		Alshehri:2015:FFS,%
		Avoine:2011:FAR,%
		Bella:2003:IVS,%
		Blanchet:2009:AVC,%
		Bodei:2005:SVS,%
		Bugliesi:2005:NIP,%
		Chatzikokolakis:2008:BRI,%
		Cohen:2003:FOV,%
		Corin:2007:TAS,%
		Cortier:2006:SAP,%
		Datta:2005:DSC,%
		Delaune:2009:VPT,%
		Dupressoir:2014:GGP,%
		Durgin:2003:CLP,%
		Durgin:2004:MRC,%
		Fabrega:1999:SSP,%
		Gibson-Robinson:2015:VLS,%
		Gordon:2003:ATS,%
		Gordon:2004:TEA,%
		Gray:1998:PSC,%
		Guttman:2004:ATD,%
		Halevi:2011:TBH,%
		Heather:2003:HPT,%
		Hui:2001:FPS,%
		Jacobs:2009:SLS,%
		Kanovich:2017:TCC,%
		Kolesnikov:2013:SAP,%
		Kremer:2003:GBV,%
		Kremer:2010:CSA,%
		Kremer:2016:AAS,%
		Lowe:1998:CCA,%
		Lowe:1999:TCR,%
		Lowe:2004:APS,%
		Modersheim:2010:CDS,%
		Nguyen:2011:APB,%
		Paiola:2013:VSP,%
		Paulson:1998:IAV,%
		Pereira:2003:SAU,%
		Pereira:2006:IBS,%
		Pescape:2005:EAA,%
		Ramanujam:2005:DCE,%
		Rocchetto:2017:IBM,%
		Roscoe:1999:PSP,%
		Sprenger:2018:RSP,%
		Tiplea:2008:SBS,%
		Wang:2006:GNR%
		}.
\NAMECITE{Prototype}{%
		Epstein:1993:HAW%
		}.
\NAMECITE{Provable}{%
		Gray:1998:PSC%
		}.
\NAMECITE{Provably}{%
		Basin:2013:PRI,%
		Dam:2010:PCI,%
		Guanciale:2016:PSM,%
		Boureanu:2015:PPS%
		}.
\NAMECITE{prove}{%
		Dupressoir:2014:GGP%
		}.
\NAMECITE{Proved}{%
		Cade:2015:PGI%
		}.
\NAMECITE{provenance}{%
		Acar:2013:CCP%
		}.
\NAMECITE{Providing}{%
		Buchholz:2004:PPO%
		}.
\NAMECITE{Proving}{%
		McLean:1992:PNF,%
		Roscoe:1999:PSP,%
		Durgin:2003:CLP,%
		Fabrega:1999:SSP%
		}.
\NAMECITE{provisioning}{%
		McDaniel:2006:EPA%
		}.
\NAMECITE{pseudonym}{%
		Candebat:2006:SPM%
		}.
\NAMECITE{pseudorandom}{%
		Chen:2016:PEP%
		}.
\NAMECITE{Public}{%
		Casola:2007:PBM,%
		Lekkas:2010:PMT,%
		Price:2006:PKI,%
		Tardo:1992:SGA,%
		Yuan:2015:PPC,%
		Crampton:2017:CEI,%
		Lopez:2006:UPK%
		}.
\NAMECITE{public-key}{%
		Lopez:2006:UPK%
		}.
\NAMECITE{publication}{%
		Chadwick:2010:ICR,%
		Devanbu:2003:ADP,%
		He:2011:SCP%
		}.
\NAMECITE{Publicly}{%
		Chen:2016:PEP,%
		Nieto:2013:PVC,%
		Campbell:2003:ECP,%
		Liu:2015:JSD%
		}.
\NAMECITE{publicly-known}{%
		Liu:2015:JSD%
		}.
\NAMECITE{publish}{%
		Yuen:2014:TCT%
		}.
\NAMECITE{publish/subscribe}{%
		Yuen:2014:TCT%
		}.
\NAMECITE{publishing}{%
		Ciriani:2012:OAE,%
		DeCapitanidiVimercati:2015:LAI%
		}.
\NAMECITE{purpose}{%
		Dupressoir:2014:GGP%
		}.
\NAMECITE{purposes}{%
		Kobsa:2013:CJV%
		}.


\NAMECITE{Qualified}{%
		Myers:2006:ERD%
		}.
\NAMECITE{qualitative}{%
		Halpern:2017:QQP%
		}.
\NAMECITE{quality}{%
		Dewri:2011:EPV,%
		Zuquete:2005:EHQ%
		}.
\NAMECITE{quantification}{%
		Vavilis:2016:SBQ%
		}.
\NAMECITE{Quantifying}{%
		Clarkson:2009:QIF,%
		Clark:2007:SAQ%
		}.
\NAMECITE{Quantitative}{%
		Alvim:2012:QIF,%
		Halpern:2017:QQP,%
		Yasuoka:2011:BPQ,%
		Zouridaki:2007:HQT%
		}.
\NAMECITE{quantity}{%
		Lowe:2004:DIF%
		}.
\NAMECITE{quantum}{%
		Salvail:2010:STR%
		}.
\NAMECITE{queries}{%
		Biskup:2012:DPA,%
		Bottcher:2009:IDA,%
		DeCapitanidiVimercati:2016:EIC,%
		Vigna:2009:REA,%
		Wang:2007:PBI%
		}.
\NAMECITE{Query}{%
		Cheng:2009:QAV,%
		Biskup:2008:PCQ,%
		Chen:2014:PUQ,%
		Chen:2018:KSQ,%
		DeCapitanidiVimercati:2011:AED,%
		Peddinti:2014:WSQ%
		}.


\NAMECITE{random}{%
		Zuquete:2005:EHQ%
		}.
\NAMECITE{randomization}{%
		Xu:2009:ASL%
		}.
\NAMECITE{randomness}{%
		Blundo:1999:NRD%
		}.
\NAMECITE{range}{%
		Wang:2007:PBI%
		}.
\NAMECITE{rank}{%
		Heather:2005:DPE%
		}.
\NAMECITE{rational}{%
		Buttyan:2004:FMR%
		}.
\NAMECITE{{RBAC}}{%
		Batra:2019:DAP,%
		Bonatti:2015:EDR,%
		Lu:2015:TUO,%
		Ranise:2018:AEA%
		}.
\NAMECITE{reader}{%
		Nithyanand:2011:UAR%
		}.
\NAMECITE{real}{%
		Blyth:2006:PRT,%
		Stergiopoulos:2019:USC%
		}.
\NAMECITE{real-time}{%
		Blyth:2006:PRT,%
		Stergiopoulos:2019:USC%
		}.
\NAMECITE{Realm}{%
		Gligor:1993:IRA%
		}.
\NAMECITE{Reasoning}{%
		Kakkar:2003:RAS,%
		Neville:2018:RAF,%
		Backes:2014:UIR,%
		Blanchet:2018:ARE%
		}.
\NAMECITE{Reconstructing}{%
		Chander:2004:RTM%
		}.
\NAMECITE{reconstruction}{%
		Halpern:2003:LRS%
		}.
\NAMECITE{records}{%
		Maffei:2019:GOP%
		}.
\NAMECITE{Recoverable}{%
		Nenadic:2005:RBV%
		}.
\NAMECITE{recovery}{%
		Cho:2004:GKR,%
		Knudsen:1998:SMD%
		}.
\NAMECITE{redirection}{%
		Kreitz:2013:FSW%
		}.
\NAMECITE{Reducing}{%
		Hu:1992:RTC,%
		Vigna:2009:REA%
		}.
\NAMECITE{reduction}{%
		Modersheim:2010:CDS%
		}.
\NAMECITE{refinement}{%
		Backes:2014:UIR,%
		Neville:2018:RAF,%
		Zhou:2008:SPR%
		}.
\NAMECITE{Refining}{%
		Sprenger:2018:RSP%
		}.
\NAMECITE{reflection}{%
		Welch:2002:URM%
		}.
\NAMECITE{refreshments}{%
		Biskup:2011:IPV%
		}.
\NAMECITE{Registry}{%
		Stolfo:2005:CET%
		}.
\NAMECITE{Regular}{%
		Anonymous:2015:RPS%
		}.
\NAMECITE{regulating}{%
		Bonatti:2002:UFR%
		}.
\NAMECITE{Rekeying}{%
		Zhu:2006:GEG%
		}.
\NAMECITE{Relating}{%
		Bistarelli:2005:RMR%
		}.
\NAMECITE{Relational}{%
		Motro:1992:UMS,%
		Wang:2008:IIA%
		}.
\NAMECITE{Relations}{%
		Paulson:2001:RBS,%
		Sumii:2003:LRE%
		}.
\NAMECITE{relationship}{%
		Roscheisen:1997:NCD%
		}.
\NAMECITE{relationship-based}{%
		Roscheisen:1997:NCD%
		}.
\NAMECITE{release}{%
		Bezzi:2012:MPI,%
		Bonatti:2002:UFR,%
		Chong:2012:RIR,%
		Hu:2009:CRR%
		}.
\NAMECITE{released}{%
		Yao:2009:EPT%
		}.
\NAMECITE{reliability}{%
		Lin:2017:SAC%
		}.
\NAMECITE{reliable}{%
		Malkhi:1997:HTS,%
		Zouridaki:2007:HQT%
		}.
\NAMECITE{remapping}{%
		Phatak:2013:SIN%
		}.
\NAMECITE{Remote}{%
		Chen:2017:RDI,%
		Alhebaishi:2019:MIT,%
		Ma:2019:TOP%
		}.
\NAMECITE{repair}{%
		Chen:2017:RDI%
		}.
\NAMECITE{repairing}{%
		Basin:2013:PRI%
		}.
\NAMECITE{repeater}{%
		Salvail:2010:STR%
		}.
\NAMECITE{replacement}{%
		Li:2010:CCB%
		}.
\NAMECITE{replacing}{%
		Kayem:2008:RCK%
		}.
\NAMECITE{Replicated}{%
		Kang:1995:TMM,%
		McDermott:1996:APC%
		}.
\NAMECITE{replicated-architecture}{%
		McDermott:1996:APC%
		}.
\NAMECITE{replication}{%
		Skormin:2007:PIA%
		}.
\NAMECITE{Report}{%
		LaPadula:1996:MTR%
		}.
\NAMECITE{represent}{%
		Belim:2015:AGR%
		}.
\NAMECITE{reproducibility}{%
		Sonchack:2016:ELS%
		}.
\NAMECITE{repudiation}{%
		Kremer:2003:GBV,%
		Wang:2006:GNR%
		}.
\NAMECITE{Reputation}{%
		Shmatikov:2005:RBT,%
		Krukow:2008:LFH%
		}.
\NAMECITE{Reputation-based}{%
		Shmatikov:2005:RBT%
		}.
\NAMECITE{requests}{%
		Vigna:2009:REA%
		}.
\NAMECITE{Required}{%
		Chong:2012:RIR%
		}.
\NAMECITE{Requirements}{%
		Atluri:1993:ASC,%
		Altenschmidt:2003:SMR%
		}.
\NAMECITE{Research}{%
		Anonymous:1992:CPE,%
		Zhang:2004:RAR,%
		Camenisch:2010:JSI,%
		Campolargo:2010:JSI,%
		Price:2006:PKI%
		}.
\NAMECITE{resiliency}{%
		Crampton:2017:BOW,%
		Zavatteri:2019:LMS%
		}.
\NAMECITE{resistance}{%
		Kusters:2012:GBD%
		}.
\NAMECITE{Resistant}{%
		Gupta:1992:TTP%
		}.
\NAMECITE{Resource}{%
		Millen:1993:RAM,%
		Besson:2010:VRA%
		}.
\NAMECITE{resources}{%
		Jajodia:2016:UTP%
		}.
\NAMECITE{responding}{%
		Ourston:2004:CIA%
		}.
\NAMECITE{response}{%
		Lee:2002:TCS,%
		Stakhanova:2012:TCS,%
		Zhang:2004:RAR%
		}.
\NAMECITE{result}{%
		Ardagna:2010:ECP,%
		Lowe:1999:TCR%
		}.
\NAMECITE{retrievability}{%
		Yuan:2015:PPC%
		}.
\NAMECITE{retrieval}{%
		DiCrescenzo:2016:PPP%
		}.
\NAMECITE{revisited}{%
		Demay:2019:PSS,%
		Dreier:2015:BFP%
		}.
\NAMECITE{revocation}{%
		Chadwick:2010:ICR,%
		Hu:2009:CRR,%
		Nithyanand:2011:UAR%
		}.
\NAMECITE{revoking}{%
		Camenisch:1997:DPS%
		}.
\NAMECITE{rewriting}{%
		Bistarelli:2005:RMR,%
		Cervesato:2005:CBS,%
		Durgin:2004:MRC%
		}.
\NAMECITE{{RFID}}{%
		Alomair:2011:SLC,%
		Avoine:2011:FAR,%
		Deng:2011:ZKB,%
		Halevi:2011:TBH,%
		Hancke:2011:PES,%
		Kobsa:2013:CJV,%
		Ng:2011:PRO,%
		Nithyanand:2011:UAR%
		}.
\NAMECITE{ring}{%
		Li:2010:ESS%
		}.
\NAMECITE{Risk}{%
		Han:2018:RAM,%
		Malacaria:2010:RAS,%
		Skalka:2007:RMD,%
		Chatzikokolakis:2008:BRI%
		}.
\NAMECITE{Risk-aware}{%
		Han:2018:RAM%
		}.
\NAMECITE{{RMP}}{%
		Vaidya:2009:ERM%
		}.
\NAMECITE{Robust}{%
		Hauser:1996:RSP,%
		Myers:2006:ERD,%
		Radosavac:2007:DIM,%
		Zanin:2007:RRD,%
		Herzberg:2009:FPT,%
		Lorenzi:2018:TDR%
		}.
\NAMECITE{Robustness}{%
		Myers:2006:ERD%
		}.
\NAMECITE{{Rogaway}}{%
		Micciancio:2004:CTA%
		}.
\NAMECITE{Role}{%
		Braghin:2006:RBA,%
		Sandhu:1999:RBA,%
		Simmons:1995:RTI,%
		Ahn:2012:PDR,%
		Alam:2008:CBR,%
		Armando:2012:SAS,%
		Belim:2015:AGR,%
		Lu:2014:OFR,%
		Mitra:2015:GTR,%
		Ranise:2018:AEA,%
		Toahchoodee:2011:FAS,%
		Uzun:2014:SAT,%
		Vaidya:2009:ERM,%
		Yang:2015:PAA%
		}.
\NAMECITE{Role-based}{%
		Braghin:2006:RBA,%
		Sandhu:1999:RBA,%
		Ahn:2012:PDR,%
		Armando:2012:SAS,%
		Belim:2015:AGR,%
		Toahchoodee:2011:FAS,%
		Vaidya:2009:ERM%
		}.
\NAMECITE{roles}{%
		Stoller:2018:MHT%
		}.
\NAMECITE{rollbackability}{%
		Zhang:2004:RAR%
		}.
\NAMECITE{rollover}{%
		Guette:2009:ATK%
		}.
\NAMECITE{room}{%
		Armknecht:2019:PIR%
		}.
\NAMECITE{Root}{%
		Calzavara:2019:SSH,%
		Cheng:2017:SFN%
		}.
\NAMECITE{routing}{%
		Pescape:2005:EAA%
		}.
\NAMECITE{{RSA}}{%
		Nenadic:2005:RBV,%
		Zanin:2007:RRD%
		}.
\NAMECITE{{RSA-based}}{%
		Nenadic:2005:RBV%
		}.
\NAMECITE{rule}{%
		Le:2016:MCR,%
		Vaidya:2005:SSI%
		}.
\NAMECITE{run}{%
		Skormin:2007:PIA%
		}.
\NAMECITE{run-time}{%
		Skormin:2007:PIA%
		}.
\NAMECITE{runtime}{%
		Hofheinz:2009:PRS%
		}.


\NAMECITE{safely}{%
		Herzberg:2013:FJL%
		}.
\NAMECITE{safety}{%
		Atluri:2000:PNB%
		}.
\NAMECITE{sample}{%
		Blundo:2014:EEP,%
		Clifton:2000:USS%
		}.
\NAMECITE{sandboxes}{%
		Politz:2014:TBV%
		}.
\NAMECITE{sandboxing}{%
		Luo:2016:MCM%
		}.
\NAMECITE{satisfiability}{%
		Crampton:2017:BOW%
		}.
\NAMECITE{{SAv5}}{%
		Cremers:2019:SAG%
		}.
\NAMECITE{Scalable}{%
		Armando:2012:SAS,%
		Buchmann:2014:TMS,%
		Sherwood:2005:PPS%
		}.
\NAMECITE{scale}{%
		Sonchack:2016:ELS,%
		Zanin:2007:RRD%
		}.
\NAMECITE{scan}{%
		Xia:2006:EWD%
		}.
\NAMECITE{scenarios}{%
		Lotz:1997:TSM,%
		dosSantos:2017:AFE%
		}.
\NAMECITE{Scheduler}{%
		Zhou:2013:SVC%
		}.
\NAMECITE{schedulers}{%
		Hamadou:2010:CPS%
		}.
\NAMECITE{scheduling}{%
		Barthe:2007:SIF%
		}.
\NAMECITE{Schematic}{%
		Ammann:1992:ESP,%
		Sandhu:1992:EPS%
		}.
\NAMECITE{Scheme}{%
		Zhu:2006:GEG,%
		Li:2010:ESS,%
		Myers:2013:BBC,%
		Ng:2011:PRO,%
		Sun:2012:TAV%
		}.
\NAMECITE{schemes}{%
		Akinyele:2014:MGA,%
		Blundo:1999:NRD,%
		Davidson:2016:CSS,%
		Xu:2007:SGC%
		}.
\NAMECITE{Schroeder}{%
		Warinschi:2005:CAN%
		}.
\NAMECITE{Scriptless}{%
		Heiderich:2014:SAS%
		}.
\NAMECITE{scripts}{%
		DeGroef:2014:SME%
		}.
\NAMECITE{{SDSI}}{%
		Abadi:1998:SLL,%
		Clarke:2001:CCD,%
		Halpern:2001:LSL,%
		Jha:2004:MCS%
		}.
\NAMECITE{Search}{%
		Modersheim:2010:CDS,%
		Knudsen:1998:SMD,%
		Moataz:2018:SSE,%
		Peddinti:2014:WSQ%
		}.
\NAMECITE{Search-space}{%
		Modersheim:2010:CDS%
		}.
\NAMECITE{Searchable}{%
		Curtmola:2011:SSE,%
		Dong:2011:SSE%
		}.
\NAMECITE{Second}{%
		Hinke:1995:FAD%
		}.
\NAMECITE{{SecPAL}}{%
		Becker:2010:SDS%
		}.
\NAMECITE{Secrecy}{%
		Tiplea:2008:SBS,%
		Cortier:2013:AFH,%
		Kakkar:2003:RAS%
		}.
\NAMECITE{secret}{%
		Guan:2017:SKE,%
		Wuller:2017:DPP%
		}.
\NAMECITE{secrets}{%
		Paulson:2001:RBS%
		}.
\NAMECITE{{SECTET}}{%
		Alam:2008:CBR%
		}.
\NAMECITE{{SECTET}-framework}{%
		Alam:2008:CBR%
		}.
\NAMECITE{Section}{%
		Anonymous:2015:RPS,%
		Millen:1999:SSI%
		}.
\NAMECITE{Secure}{%
		Altenschmidt:2003:SMR,%
		Ammann:1995:CCS,%
		Atluri:1993:ASC,%
		Baron:2013:SPM,%
		Barthe:2007:SIF,%
		Bertino:1999:SOD,%
		Bieber:1992:LVS,%
		Blanton:2012:SOC,%
		Candebat:2006:SPM,%
		Carter:2016:SOG,%
		Chan:2007:SSI,%
		Cremers:2019:SAG,%
		DeGroef:2014:SME,%
		He:2011:SCP,%
		Hong:2012:SED,%
		Kang:1995:TMM,%
		Pirretti:2010:SAB,%
		Rafnsson:2016:SME,%
		Sewell:2003:SCU,%
		Thomas:1993:KAM,%
		Tian:2019:DSD,%
		Vaidya:2005:SSI,%
		Yahalom:1993:OAT,%
		Zhu:2006:GEG,%
		Adaikkalavan:2012:MSD,%
		Alomair:2011:SLC,%
		Atluri:2000:SBE,%
		Backes:2014:UIR,%
		Bieber:2002:CSI,%
		Bossi:2005:IFS,%
		Boureanu:2015:PPS,%
		Bryce:1997:CEI,%
		Buchmann:2014:TMS,%
		Cade:2015:PGI,%
		Cimato:2006:UMU,%
		Corin:2008:SCS,%
		Costa:2012:MPS,%
		DiPietro:2004:KMH,%
		DiPietro:2010:HKS,%
		Fuhry:2018:HPS,%
		Guanciale:2016:PSM,%
		Hauser:1996:RSP,%
		Jajodia:2001:MST,%
		Kolesnikov:2013:SAP,%
		Li:2010:CCB,%
		Lotz:1997:TSM,%
		Malkhi:1997:HTS,%
		Pereira:2006:IBS,%
		Salva:2019:CAS,%
		Spalka:2000:SNS,%
		Volpano:1996:STS,%
		Zhou:2008:SPR,%
		dAusbourg:1996:CCD%
		}.
\NAMECITE{securely}{%
		Liu:2017:FBO%
		}.
\NAMECITE{Securing}{%
		Alomair:2011:SLC,%
		Chuang:1996:SAN,%
		Raya:2007:SVA,%
		Shroff:2008:SIF%
		}.
\NAMECITE{Security}{%
		Bertino:1997:SIS,%
		Camenisch:2010:JSI,%
		Campolargo:2010:JSI,%
		DeAngelis:2011:SAT,%
		Focardi:1995:CSP,%
		Foley:1995:SSC,%
		Gray:1992:TMF,%
		Jacob:1992:BTA,%
		Karjoth:2000:ACS,%
		Littlewood:1993:TOM,%
		Motro:1992:UMS,%
		Salvail:2010:STR,%
		Uzun:2014:SAT,%
		Visconti:2013:SIA,%
		Zhou:2008:SPR,%
		Alshehri:2015:FFS,%
		Atluri:1997:EMD,%
		Atluri:2004:CWS,%
		Atluri:2008:ESP,%
		Aziz:2009:CSA,%
		Backes:2008:KDM,%
		Barenghi:2018:SPX,%
		Basin:2014:OFA,%
		Belim:2015:AGR,%
		Bella:2015:SSP,%
		Besson:2001:MCS,%
		Bischof:2018:LDS,%
		Bistarelli:2005:RMR,%
		Blanchet:2009:AVC,%
		Blyth:2006:PRT,%
		Bodei:2005:CSP,%
		Bodei:2005:SVS,%
		Bodei:2016:CAS,%
		Bonatti:1997:MHS,%
		Bossi:2007:CIF,%
		Cabuk:2010:TAS,%
		Campbell:2003:ECP,%
		Casola:2007:PBM,%
		Cervesato:2005:CBS,%
		Chakraborty:2018:HAD,%
		Chatzikokolakis:2014:FAS,%
		Chen:2014:PUQ,%
		Corin:2007:TAS,%
		Cuppens:2013:FSM,%
		Datta:2005:DSC,%
		Delaune:2010:FSA,%
		Demay:2019:PSS,%
		Demurjian:1997:TDP,%
		Durgin:2003:CLP,%
		Durgin:2004:MRC,%
		Fabrega:1999:SSP,%
		Focardi:2006:IFS,%
		Foley:2011:MSP,%
		Franklin:1998:AML,%
		Gibson-Robinson:2015:VLS,%
		Gordon:2003:ATS,%
		Gordon:2011:IIS,%
		Goubault-Larrecq:2010:FMF,%
		Gray:1998:PSC,%
		Gudes:1999:MSI,%
		Guttman:2004:ATD,%
		Guttman:2014:EPP,%
		Halpern:2017:QQP,%
		Harrison:2009:AIF,%
		Heather:2003:HPT,%
		Hedin:2016:IFS,%
		Hui:2001:FPS,%
		Jacobs:2009:SLS,%
		Jajodia:2016:UTP,%
		Jing:2016:TML,%
		Kobsa:2013:CJV,%
		Kremer:2016:AAS,%
		Lowe:1998:CCA,%
		Lowe:1999:TCR,%
		Majumdar:2019:LPD,%
		Malacaria:2010:RAS,%
		Mallios:2015:PCE,%
		Mantel:2003:UAS,%
		Mardziel:2013:DEK,%
		Maurer:1996:CSB,%
		Meier:2013:ECM,%
		Migault:2017:DEI,%
		Modersheim:2010:CDS,%
		Mohamed:2017:SUD,%
		Murray:2017:SIV,%
		Nguyen:2018:ASP,%
		Niu:2014:FVS,%
		Paiola:2013:VSP,%
		Ramanujam:2005:DCE,%
		Rocchetto:2017:IBM,%
		Roscheisen:1997:NCD,%
		Roscoe:1999:PSP,%
		Roy:2010:ITP,%
		Salva:2019:CAS,%
		Schellhorn:2002:VFS,%
		Sinclair:1997:ASS,%
		Sinha:2011:SSS%
		}.
\NAMECITE{security}{%
		Sonchack:2016:ELS,%
		Song:2001:ANA,%
		Spalazzi:2015:SIS,%
		Sprenger:2018:RSP,%
		Teepe:2003:WAS,%
		Tiplea:2008:SBS,%
		Welch:2002:URM,%
		Xu:2007:SGC,%
		Yasinsac:2002:ESP,%
		Zhou:2012:FAS,%
		dosSantos:2017:AFE,%
		Anonymous:1992:CPE,%
		Guttman:2005:VIF,%
		Bella:2009:JCS%
		}.
\NAMECITE{{Security-Enhanced}}{%
		Guttman:2005:VIF%
		}.
\NAMECITE{security-sensitive}{%
		dosSantos:2017:AFE%
		}.
\NAMECITE{selection}{%
		Belsis:2008:AEF,%
		Belsis:2009:AEF,%
		Stakhanova:2012:TCS%
		}.
\NAMECITE{Selective}{%
		Ciriani:2011:SDO%
		}.
\NAMECITE{self}{%
		Skormin:2007:PIA%
		}.
\NAMECITE{self-replication}{%
		Skormin:2007:PIA%
		}.
\NAMECITE{semantic}{%
		Atluri:2000:SBE,%
		Pucella:2010:IOS,%
		Ray:1998:SBT,%
		Foley:2011:MSP%
		}.
\NAMECITE{semantic-based}{%
		Atluri:2000:SBE,%
		Ray:1998:SBT%
		}.
\NAMECITE{Semantics}{%
		Jacobs:2009:SLS,%
		Preda:2009:SBC,%
		Syverson:1992:KBS,%
		Becker:2010:SDS%
		}.
\NAMECITE{Semantics-based}{%
		Preda:2009:SBC%
		}.
\NAMECITE{sensitive}{%
		Bezzi:2012:MPI,%
		Lee:2002:TCS,%
		Stakhanova:2012:TCS,%
		dosSantos:2017:AFE%
		}.
\NAMECITE{sensor}{%
		Chan:2007:SSI,%
		Lopez:2006:UPK%
		}.
\NAMECITE{sensors}{%
		Kerschbaum:2002:UIS%
		}.
\NAMECITE{sentiment}{%
		Choo:2017:DOS%
		}.
\NAMECITE{separate}{%
		Yang:2015:PAA%
		}.
\NAMECITE{Separation}{%
		Foley:1992:ASN,%
		Notargiacomo:1995:MMI%
		}.
\NAMECITE{sequences}{%
		Hofmeyr:1998:IDU,%
		Quisquater:1997:ASS%
		}.
\NAMECITE{Server}{%
		Asokan:1997:SSS,%
		Chen:2017:RDI%
		}.
\NAMECITE{server-side}{%
		Chen:2017:RDI%
		}.
\NAMECITE{Server-supported}{%
		Asokan:1997:SSS%
		}.
\NAMECITE{Servers}{%
		Chen:1995:DTA,%
		Dong:2011:SSE%
		}.
\NAMECITE{Service}{%
		Bella:2015:SSP,%
		Millen:1993:RAM,%
		Bartoletti:2009:PVS,%
		Bonatti:2002:UFR,%
		Costa:2012:MPS,%
		Meadows:2001:CBF,%
		Molsa:2005:MDS,%
		Reiter:1996:KMS%
		}.
\NAMECITE{services}{%
		Chen:2014:PUQ,%
		Shin:2011:PAM%
		}.
\NAMECITE{session}{%
		Bugliesi:2015:CPB,%
		Calzavara:2019:SSH,%
		Corin:2008:SCS,%
		Demay:2019:PSS%
		}.
\NAMECITE{set}{%
		Blundo:2014:EEP,%
		Elbirt:2008:AAI,%
		Vaidya:2005:SSI%
		}.
\NAMECITE{severity}{%
		Vavilis:2016:SBQ%
		}.
\NAMECITE{severity-based}{%
		Vavilis:2016:SBQ%
		}.
\NAMECITE{{SGX}}{%
		Fuhry:2018:HPS%
		}.
\NAMECITE{Shared}{%
		Dong:2011:SSE%
		}.
\NAMECITE{Sharing}{%
		Levy:2018:SHB,%
		Davidson:2016:CSS,%
		Wuller:2017:DPP%
		}.
\NAMECITE{Sharing-habits}{%
		Levy:2018:SHB%
		}.
\NAMECITE{shift}{%
		Gordon:2011:IIS%
		}.
\NAMECITE{Short}{%
		Blazy:2013:SBS,%
		Shirvanian:2018:SVI%
		}.
\NAMECITE{shuffle}{%
		Lipmaa:2013:MEC%
		}.
\NAMECITE{{SIA}}{%
		Chan:2007:SSI%
		}.
\NAMECITE{Side}{%
		Kelsey:2000:SCC,%
		Chen:2017:RDI,%
		Gupta:2018:SCA,%
		Kopf:2011:ADI,%
		Ma:2019:TOP,%
		Stergiopoulos:2019:USC%
		}.
\NAMECITE{side-channel}{%
		Gupta:2018:SCA,%
		Kopf:2011:ADI%
		}.
\NAMECITE{signature}{%
		Akinyele:2014:MGA,%
		Li:2010:CCB%
		}.
\NAMECITE{signatures}{%
		Asokan:1997:SSS,%
		Blazy:2013:SBS,%
		Ding:2009:LFM,%
		Zanin:2007:RRD,%
		Nenadic:2005:RBV%
		}.
\NAMECITE{signcryption}{%
		Li:2010:ESS%
		}.
\NAMECITE{signing}{%
		Norman:2006:APC%
		}.
\NAMECITE{sill}{%
		Heiderich:2014:SAS%
		}.
\NAMECITE{similarity}{%
		Blundo:2014:EEP,%
		Kar:2016:SSI%
		}.
\NAMECITE{simple}{%
		Clark:2007:SAQ%
		}.
\NAMECITE{simplifying}{%
		Hui:2001:FPS%
		}.
\NAMECITE{simulatability}{%
		Hofheinz:2009:PRS%
		}.
\NAMECITE{simulator}{%
		Sonchack:2016:ELS%
		}.
\NAMECITE{{SINTRA}}{%
		McDermott:1996:APC%
		}.
\NAMECITE{{SIP}}{%
		Gritzalis:2011:SPM%
		}.
\NAMECITE{{SIP}-based}{%
		Gritzalis:2011:SPM%
		}.
\NAMECITE{size}{%
		Clifton:2000:USS%
		}.
\NAMECITE{skimming}{%
		Hancke:2011:PES%
		}.
\NAMECITE{{Skyband}}{%
		Chen:2018:KSQ%
		}.
\NAMECITE{smart}{%
		Bella:2003:IVS,%
		Bieber:2002:CSI,%
		Schellhorn:2002:VFS%
		}.
\NAMECITE{smartphones}{%
		Gupta:2018:SCA%
		}.
\NAMECITE{{SMS}}{%
		Traynor:2008:EOF%
		}.
\NAMECITE{{SMS}-capable}{%
		Traynor:2008:EOF%
		}.
\NAMECITE{{SMT}}{%
		Armando:2012:SAS%
		}.
\NAMECITE{Snapshot}{%
		Ammann:1995:CCS%
		}.
\NAMECITE{social}{%
		Levy:2018:SHB%
		}.
\NAMECITE{socio}{%
		Bella:2015:SSP,%
		Giustolisi:2018:ICM%
		}.
\NAMECITE{socio-technical}{%
		Bella:2015:SSP,%
		Giustolisi:2018:ICM%
		}.
\NAMECITE{soft}{%
		Bistarelli:2005:SCB%
		}.
\NAMECITE{Software}{%
		Collberg:2005:SWF,%
		Akinyele:2014:MGA,%
		Wang:2008:CBH%
		}.
\NAMECITE{solutions}{%
		Mont:2008:PPE%
		}.
\NAMECITE{solving}{%
		Armando:2012:SAS%
		}.
\NAMECITE{Some}{%
		Pereira:2003:SAU%
		}.
\NAMECITE{sound}{%
		Kremer:2010:CSA,%
		Lipmaa:2013:MEC,%
		Volpano:1996:STS%
		}.
\NAMECITE{Soundness}{%
		Adao:2009:SCF,%
		Backes:2008:KDM,%
		Backes:2010:CSS,%
		Baudet:2010:GAC%
		}.
\NAMECITE{space}{%
		Modersheim:2010:CDS,%
		Xu:2009:ASL%
		}.
\NAMECITE{spaces}{%
		Abadi:1998:SLL,%
		Cervesato:2005:CBS,%
		Fabrega:1999:SSP,%
		Halpern:2001:LSL,%
		Kamil:2011:ATS,%
		Spalka:2000:SNS,%
		Spindler:2008:PVS%
		}.
\NAMECITE{spam}{%
		Belsis:2008:AEF,%
		Belsis:2009:AEF,%
		Choo:2017:DOS,%
		Soupionis:2014:GTA,%
		Gritzalis:2011:SPM%
		}.
\NAMECITE{spammer}{%
		Choo:2017:DOS%
		}.
\NAMECITE{spatio}{%
		Toahchoodee:2011:FAS%
		}.
\NAMECITE{spatio-temporal}{%
		Toahchoodee:2011:FAS%
		}.
\NAMECITE{spatiotemporal}{%
		Shin:2011:EES%
		}.
\NAMECITE{Special}{%
		Bertino:1997:SIS,%
		Millen:1999:SSI,%
		Murray:2017:SIV,%
		Spalazzi:2015:SIS,%
		Visconti:2013:SIA,%
		Camenisch:2010:JSI,%
		Campolargo:2010:JSI%
		}.
\NAMECITE{specific}{%
		Spinellis:2002:PID%
		}.
\NAMECITE{specification}{%
		Bertino:2000:TAB,%
		Cuppens:2013:FSM,%
		DeCapitanidiVimercati:1997:ASE,%
		Meadows:2004:FSA,%
		Sinclair:1997:ASS%
		}.
\NAMECITE{specifications}{%
		Cade:2015:PGI%
		}.
\NAMECITE{Specifying}{%
		Foley:1995:SSC,%
		Yu:2005:SUI,%
		Gudes:1999:MSI%
		}.
\NAMECITE{{SPIDER}}{%
		Gritzalis:2011:SPM%
		}.
\NAMECITE{SPIT}{%
		Gritzalis:2011:SPM%
		}.
\NAMECITE{{SPKI}}{%
		Clarke:2001:CCD,%
		Eamani:2006:LBP,%
		Halpern:2003:LRS,%
		Jha:2004:MCS%
		}.
\NAMECITE{{SPKI/SDSI}}{%
		Clarke:2001:CCD,%
		Jha:2004:MCS%
		}.
\NAMECITE{Spread}{%
		Phatak:2013:SIN%
		}.
\NAMECITE{{SPX}}{%
		Tardo:1992:SGA%
		}.
\NAMECITE{{SQL}}{%
		Kar:2016:SSI,%
		Vigna:2009:REA%
		}.
\NAMECITE{{SQLiDDS}}{%
		Kar:2016:SSI%
		}.
\NAMECITE{staged}{%
		Lester:2016:IFA%
		}.
\NAMECITE{standard}{%
		Basin:2013:PRI,%
		Bergadano:1997:SAP%
		}.
\NAMECITE{standing}{%
		Zavatteri:2019:LMS%
		}.
\NAMECITE{State}{%
		Bevier:1995:SBA,%
		DSouza:2016:MCT,%
		Eckmann:2002:SAL,%
		Kremer:2016:AAS%
		}.
\NAMECITE{State-based}{%
		Bevier:1995:SBA,%
		Eckmann:2002:SAL%
		}.
\NAMECITE{Stateful}{%
		Garg:2012:SAL,%
		Arapinis:2014:SVS%
		}.
\NAMECITE{Static}{%
		Bodei:2005:SVS,%
		Jovanovic:2010:SAD,%
		Zavatteri:2019:LMS,%
		Baudet:2010:GAC,%
		Bodei:2010:DPT,%
		Bodei:2016:CAS,%
		Clark:2007:SAQ%
		}.
\NAMECITE{{STATL}}{%
		Eckmann:2002:SAL%
		}.
\NAMECITE{{StatVerif}}{%
		Arapinis:2014:SVS%
		}.
\NAMECITE{stealers}{%
		Continella:2017:PAW%
		}.
\NAMECITE{Stealing}{%
		Heiderich:2014:SAS,%
		Kreitz:2013:FSW%
		}.
\NAMECITE{stealth}{%
		Luckett:2018:ISM%
		}.
\NAMECITE{stealthy}{%
		Staniford:2002:PAD%
		}.
\NAMECITE{steganography}{%
		Grothoff:2009:TBS%
		}.
\NAMECITE{step}{%
		Siaterlis:2005:OSA%
		}.
\NAMECITE{steps}{%
		Salva:2019:CAS%
		}.
\NAMECITE{stock}{%
		Campbell:2003:ECP%
		}.
\NAMECITE{storage}{%
		Aziz:2009:CSA,%
		Lin:2017:SAC%
		}.
\NAMECITE{storage-area}{%
		Aziz:2009:CSA%
		}.
\NAMECITE{Strand}{%
		Fabrega:1999:SSP,%
		Cervesato:2005:CBS,%
		Kamil:2011:ATS%
		}.
\NAMECITE{strategies}{%
		Radosavac:2007:DIM%
		}.
\NAMECITE{Strategy}{%
		Lin:2017:SAC,%
		Liu:2015:JSD,%
		Preda:2018:CPD%
		}.
\NAMECITE{stream}{%
		Adaikkalavan:2012:MSD%
		}.
\NAMECITE{Stricter}{%
		Atluri:1993:ASC%
		}.
\NAMECITE{Strong}{%
		Bergadano:1997:SAP%
		}.
\NAMECITE{stronger}{%
		Mannan:2011:LPD%
		}.
\NAMECITE{Structured}{%
		Spalka:2000:SNS%
		}.
\NAMECITE{study}{%
		Cheng:2017:SFN,%
		Garg:2012:SAL,%
		Iheagwara:2003:CEE%
		}.
\NAMECITE{style}{%
		Backes:2008:KDM,%
		Gentry:2013:FSB,%
		Jovanovic:2010:SAD%
		}.
\NAMECITE{Sub}{%
		Calzavara:2019:SSH%
		}.
\NAMECITE{Sub-session}{%
		Calzavara:2019:SSH%
		}.
\NAMECITE{subject}{%
		Lowe:2004:APS%
		}.
\NAMECITE{subscribe}{%
		Yuen:2014:TCT%
		}.
\NAMECITE{Substring}{%
		Moataz:2018:SSE%
		}.
\NAMECITE{sum}{%
		Wang:2007:PBI%
		}.
\NAMECITE{support}{%
		Merlo:2015:MEP%
		}.
\NAMECITE{Supported}{%
		Foley:1995:SSC,%
		Asokan:1997:SSS%
		}.
\NAMECITE{Supporting}{%
		DeCapitanidiVimercati:2013:SCM,%
		Thomas:1993:KAM,%
		Arapinis:2013:PSC,%
		Wang:2006:GNR%
		}.
\NAMECITE{suppression}{%
		Bielova:2012:IES%
		}.
\NAMECITE{surveillance}{%
		Taglienti:2016:UAP%
		}.
\NAMECITE{surveilled}{%
		Spindler:2008:PVS%
		}.
\NAMECITE{survey}{%
		Cortier:2006:SAP,%
		Nguyen:2011:APB,%
		Sinha:2011:SSS%
		}.
\NAMECITE{Surviving}{%
		Borbor:2018:SUV%
		}.
\NAMECITE{suspicious}{%
		Wespi:2000:FVV%
		}.
\NAMECITE{switching}{%
		Gentry:2013:FSB%
		}.
\NAMECITE{Symbolic}{%
		Bohl:2016:SUC,%
		Delaune:2010:SBA,%
		Millen:2005:SPAa,%
		Millen:2005:SPAb,%
		Armando:2012:SAS,%
		Backes:2010:CSS,%
		Meier:2013:ECM%
		}.
\NAMECITE{symmetric}{%
		Curtmola:2011:SSE,%
		Yao:2009:EPT%
		}.
\NAMECITE{Symposium}{%
		Anonymous:1992:CPE%
		}.
\NAMECITE{synthesis}{%
		Zavatteri:2019:LMS%
		}.
\NAMECITE{Synthesising}{%
		Zhang:2008:SVA%
		}.
\NAMECITE{System}{%
		Eamani:2006:LBP,%
		Epstein:1993:HAW,%
		Trostle:1993:MFT,%
		Ardagna:2008:PAA,%
		Biskup:2012:DPA,%
		Bowen:2012:SGI,%
		Datta:2005:DSC,%
		DeCapitanidiVimercati:2001:GIP,%
		Hofmeyr:1998:IDU,%
		Iheagwara:2003:CEE,%
		McDaniel:2006:EPA,%
		McDermott:1996:APC,%
		Shmatikov:2004:PAA,%
		Sinha:2011:SSS,%
		Sonchack:2016:ELS,%
		Uribe:2007:AAF,%
		Vigna:1999:NNB,%
		Volpano:1996:STS%
		}.
\NAMECITE{Systematic}{%
		Barenghi:2018:SPX,%
		Kolesnikov:2013:SAP%
		}.
\NAMECITE{Systems}{%
		Atluri:1993:ASC,%
		Gligor:1993:IRA,%
		Gupta:1992:TTP,%
		Woo:1993:ADS,%
		Alomair:2011:SLC,%
		Alvim:2012:QIF,%
		Argyropoulos:2010:BTP,%
		Atluri:1997:EMD,%
		Atluri:2004:CWS,%
		Balagani:2018:IAC,%
		Batra:2019:DAP,%
		Becker:2012:IFT,%
		Bertino:2005:ACU,%
		Bhargav-Spantzel:2006:EPD,%
		Camenisch:1997:DPS,%
		DSouza:2016:MCT,%
		Davidson:2016:CSS,%
		DeAngelis:2011:SAT,%
		DeCapitanidiVimercati:1997:ASE,%
		Demurjian:1997:TDP,%
		Hale:2000:TBA,%
		Halpern:2005:AIH,%
		Horn:2000:APF,%
		Iheagwara:2004:CEM,%
		Jiwa:1996:BAD,%
		Kayem:2008:RCK,%
		Krukow:2008:LFH,%
		Li:2015:NAC,%
		Liu:2000:ICI,%
		Liu:2017:FBO,%
		Lotz:1997:TSM,%
		Maurer:1996:CSB,%
		Murray:2008:NDA,%
		Nithyanand:2011:UAR,%
		Pirretti:2010:SAB,%
		Saklikar:2010:IFV,%
		Shieh:1996:DIL,%
		Sinclair:1997:ASS,%
		Spalazzi:2015:SIS,%
		Vavilis:2016:SBQ,%
		Yarmand:2013:BBA,%
		Yuen:2014:TCT,%
		Zhang:2008:SVA,%
		Zhou:2008:SPR,%
		Zuquete:2005:EHQ%
		}.
\NAMECITE{{Syverson}}{%
		Buttyan:2004:FMR%
		}.


\NAMECITE{table}{%
		DiCrescenzo:2016:PPP%
		}.
\NAMECITE{tables}{%
		He:2011:SCP%
		}.
\NAMECITE{tags}{%
		Halevi:2011:TBH,%
		Kobsa:2013:CJV%
		}.
\NAMECITE{taint}{%
		Jovanovic:2010:SAD%
		}.
\NAMECITE{taint-style}{%
		Jovanovic:2010:SAD%
		}.
\NAMECITE{Take}{%
		Bishop:1995:TIT,%
		Bishop:1996:CIF%
		}.
\NAMECITE{Take-{Grant}}{%
		Bishop:1995:TIT,%
		Bishop:1996:CIF%
		}.
\NAMECITE{tampering}{%
		Bisht:2014:ADP%
		}.
\NAMECITE{taps}{%
		Gupta:2018:SCA%
		}.
\NAMECITE{targets}{%
		Choo:2017:DOS%
		}.
\NAMECITE{task}{%
		Alhebaishi:2019:MIT%
		}.
\NAMECITE{taxonomy}{%
		Bhargav-Spantzel:2007:UCT%
		}.
\NAMECITE{{TCP}}{%
		Stergiopoulos:2019:USC%
		}.
\NAMECITE{Technical}{%
		LaPadula:1996:MTR,%
		Bella:2015:SSP,%
		Giustolisi:2018:ICM%
		}.
\NAMECITE{technique}{%
		Barbara:2003:CBC%
		}.
\NAMECITE{techniques}{%
		Belsis:2008:AEF,%
		Belsis:2009:AEF,%
		Bugliesi:2005:NIP,%
		Dewri:2011:EPV,%
		Roscoe:1999:PSP,%
		Wuller:2017:DPP,%
		Xia:2006:EWD%
		}.
\NAMECITE{Telephony}{%
		Gritzalis:2011:SPM,%
		Soupionis:2014:GTA%
		}.
\NAMECITE{template}{%
		Argyropoulos:2010:BTP%
		}.
\NAMECITE{Temporal}{%
		Bertino:2000:TAB,%
		Jajodia:2016:UTP,%
		Mitra:2015:GTR,%
		Ranise:2018:AEA,%
		Stoller:2018:MHT,%
		Toahchoodee:2011:FAS,%
		Uzun:2014:SAT%
		}.
\NAMECITE{tenant}{%
		Cabuk:2010:TAS%
		}.
\NAMECITE{tests}{%
		Guttman:2004:ATD%
		}.
\NAMECITE{{TG}}{%
		Conrad:2010:AUT%
		}.
\NAMECITE{{TG/MC}}{%
		Conrad:2010:AUT%
		}.
\NAMECITE{Theft}{%
		Bishop:1995:TIT%
		}.
\NAMECITE{their}{%
		Chen:2016:PEP,%
		Kolesnikov:2013:SAP%
		}.
\NAMECITE{Theorems}{%
		Jacob:1992:BTA,%
		Micciancio:2004:CTA%
		}.
\NAMECITE{theoretic}{%
		Kopf:2011:ADI,%
		Soupionis:2014:GTA%
		}.
\NAMECITE{theories}{%
		Bielova:2012:IES%
		}.
\NAMECITE{Theory}{%
		DeGroef:2014:SME,%
		Gupta:1992:TTP,%
		Garg:2012:SAL,%
		Herzberg:2009:FPT,%
		Lin:2017:SAC,%
		Tripunitara:2007:TCE%
		}.
\NAMECITE{there}{%
		Gordon:2011:IIS%
		}.
\NAMECITE{threaded}{%
		Mantel:2003:UAS,%
		Ngo:2014:EVC,%
		Smith:2006:ITP%
		}.
\NAMECITE{Threat}{%
		Foley:2011:MSP,%
		Lotz:1997:TSM,%
		Alhebaishi:2019:MIT,%
		Blyth:2006:PRT,%
		Zhang:2011:UTA%
		}.
\NAMECITE{threats}{%
		Malacaria:2010:RAS,%
		Yao:2009:EPT%
		}.
\NAMECITE{threshold}{%
		Blundo:1999:NRD%
		}.
\NAMECITE{throughput}{%
		Malkhi:1997:HTS%
		}.
\NAMECITE{ticket}{%
		Hale:2000:TBA%
		}.
\NAMECITE{ticket-based}{%
		Hale:2000:TBA%
		}.
\NAMECITE{Time}{%
		Hu:1992:RTC,%
		Kanovich:2017:TCC,%
		Trostle:1993:MFT,%
		Blazy:2019:VCT,%
		Blyth:2006:PRT,%
		Bodei:2010:DPT,%
		Hamadou:2010:CPS,%
		Li:2002:EPA,%
		Skormin:2007:PIA,%
		Stergiopoulos:2019:USC,%
		Yu:2019:CAF%
		}.
\NAMECITE{time-locked}{%
		Yu:2019:CAF%
		}.
\NAMECITE{Timed}{%
		Corin:2007:TAS,%
		Kreitz:2013:FSW%
		}.
\NAMECITE{Timing}{%
		Hu:1992:RTC,%
		Wray:1992:ACT,%
		Ma:2019:TOP%
		}.
\NAMECITE{{TLS}}{%
		Kamil:2011:ATS%
		}.
\NAMECITE{tokens}{%
		Hancke:2011:PES%
		}.
\NAMECITE{tolerant}{%
		Wright:2001:DGM,%
		Wright:2002:DGM%
		}.
\NAMECITE{touching}{%
		Heiderich:2014:SAS%
		}.
\NAMECITE{trace}{%
		DSouza:2011:MCT,%
		DSouza:2016:MCT,%
		Roy:2010:ITP%
		}.
\NAMECITE{trace-based}{%
		DSouza:2011:MCT,%
		DSouza:2016:MCT%
		}.
\NAMECITE{Traces}{%
		McLean:1992:PNF%
		}.
\NAMECITE{Tracking}{%
		Rubio:2019:TAI%
		}.
\NAMECITE{trade}{%
		Dewri:2011:EPV%
		}.
\NAMECITE{trade-offs}{%
		Dewri:2011:EPV%
		}.
\NAMECITE{traditional}{%
		Chakraborty:2018:HAD%
		}.
\NAMECITE{traffic}{%
		Wehner:2007:AWN%
		}.
\NAMECITE{Transaction}{%
		Kang:1995:TMM,%
		Jajodia:2001:MST,%
		McDermott:1996:APC,%
		Ray:1998:SBT%
		}.
\NAMECITE{transactional}{%
		AlBouna:2015:ATD%
		}.
\NAMECITE{transactions}{%
		Biskup:2011:IPV,%
		Ray:1998:SBT,%
		Yu:2019:CAF%
		}.
\NAMECITE{transfer}{%
		Ng:2011:PRO%
		}.
\NAMECITE{transform}{%
		Dainotti:2009:CAA%
		}.
\NAMECITE{transformations}{%
		Hui:2001:FPS%
		}.
\NAMECITE{Translation}{%
		Grothoff:2009:TBS,%
		Arapinis:2013:PSC%
		}.
\NAMECITE{Translation-based}{%
		Grothoff:2009:TBS%
		}.
\NAMECITE{transparent}{%
		Rafnsson:2016:SME,%
		Wang:2006:GNR%
		}.
\NAMECITE{trapping}{%
		Maurer:1996:CSB%
		}.
\NAMECITE{treatment}{%
		Yuen:2014:TCT%
		}.
\NAMECITE{Tree}{%
		Halevi:2011:TBH,%
		Barenghi:2018:SPX,%
		Crampton:2017:CEI,%
		Lowden:2015:DPA%
		}.
\NAMECITE{Tree-based}{%
		Halevi:2011:TBH%
		}.
\NAMECITE{triggers}{%
		Casati:1998:EWA%
		}.
\NAMECITE{{TripleMon}}{%
		Jing:2016:TML%
		}.
\NAMECITE{{Trojan}}{%
		Geigel:2013:NNT%
		}.
\NAMECITE{Trust}{%
		Camenisch:2010:JSI,%
		Campolargo:2010:JSI,%
		Chen:1995:DTA,%
		Eamani:2006:LBP,%
		Simmons:1995:RTI,%
		Becker:2012:IFT,%
		Braun:2014:CTM,%
		Chander:2004:RTM,%
		DeAngelis:2011:SAT,%
		Li:2003:DCC,%
		Niu:2014:FVS,%
		Shmatikov:2005:RBT,%
		Sun:2012:TAV,%
		Wang:2008:CBH,%
		Zouridaki:2007:HQT%
		}.
\NAMECITE{trust-augmented}{%
		Sun:2012:TAV%
		}.
\NAMECITE{Trusted}{%
		Notargiacomo:1995:MMI,%
		Guette:2009:ATK,%
		Salvail:2010:STR%
		}.
\NAMECITE{trustees}{%
		Camenisch:1997:DPS%
		}.
\NAMECITE{{TTP}}{%
		Wang:2006:GNR%
		}.
\NAMECITE{tutorial}{%
		Molsa:2005:MDS%
		}.
\NAMECITE{Two}{%
		Ammann:1995:CCS,%
		Yahalom:1993:OAT,%
		Kolesnikov:2013:SAP,%
		Paulson:2001:RBS,%
		Stolfo:2005:CET%
		}.
\NAMECITE{Two-Party}{%
		Yahalom:1993:OAT,%
		Kolesnikov:2013:SAP%
		}.
\NAMECITE{Two-Snapshot}{%
		Ammann:1995:CCS%
		}.
\NAMECITE{Type}{%
		Centenaro:2013:TBA,%
		Duggan:2004:TBC,%
		Backes:2014:UIR,%
		Bodei:2010:DPT,%
		Delaune:2009:VPT,%
		Heather:2003:HPT,%
		Hirschi:2019:MUV,%
		Pereira:2006:IBS,%
		Volpano:1996:STS,%
		Zhang:2011:UTA%
		}.
\NAMECITE{Type-based}{%
		Centenaro:2013:TBA,%
		Duggan:2004:TBC%
		}.
\NAMECITE{Typed}{%
		Politz:2014:TBV,%
		Lester:2016:IFA%
		}.
\NAMECITE{Typed-based}{%
		Politz:2014:TBV%
		}.
\NAMECITE{Types}{%
		Gordon:2004:TEA,%
		Backes:2014:UIR,%
		Bugliesi:2007:DTA,%
		Sewell:2003:SCU%
		}.
\NAMECITE{typing}{%
		Balagani:2019:PPP,%
		Gordon:2003:ATS%
		}.
\NAMECITE{typings}{%
		Smith:2006:ITP%
		}.


\NAMECITE{{UC}-soundness}{%
		Backes:2008:KDM%
		}.
\NAMECITE{unauthorized}{%
		Hagen:2008:PAU%
		}.
\NAMECITE{unbounded}{%
		Hirschi:2019:MUV,%
		Paiola:2013:VSP%
		}.
\NAMECITE{uncertain}{%
		Shin:2011:EES%
		}.
\NAMECITE{uncertainty}{%
		Conrad:2010:AUT%
		}.
\NAMECITE{unclassified}{%
		Giacobazzi:2010:ACU%
		}.
\NAMECITE{unconditionally}{%
		Alomair:2011:SLC,%
		Cimato:2006:UMU%
		}.
\NAMECITE{Understanding}{%
		Diao:2018:AMU%
		}.
\NAMECITE{Unified}{%
		Motro:1992:UMS,%
		Cimato:2006:UMU%
		}.
\NAMECITE{uniform}{%
		Bonatti:2002:UFR%
		}.
\NAMECITE{unifying}{%
		Mantel:2003:UAS%
		}.
\NAMECITE{Union}{%
		Backes:2014:UIR%
		}.
\NAMECITE{universal}{%
		Bohl:2016:SUC%
		}.
\NAMECITE{Unleashing}{%
		Lopez:2006:UPK%
		}.
\NAMECITE{unpatchable}{%
		Borbor:2018:SUV%
		}.
\NAMECITE{unspoofable}{%
		Nguyen:2011:APB%
		}.
\NAMECITE{untrusted}{%
		Dong:2011:SSE,%
		Giffin:2017:HPD,%
		Mannan:2011:LPD,%
		Sewell:2003:SCU%
		}.
\NAMECITE{Unwinding}{%
		Millen:1995:UFC%
		}.
\NAMECITE{update}{%
		Biskup:2011:IPV%
		}.
\NAMECITE{updates}{%
		Bertino:2005:ACU%
		}.
\NAMECITE{upon}{%
		Pereira:2003:SAU%
		}.
\NAMECITE{{URA97}}{%
		Sandhu:1999:RBA%
		}.
\NAMECITE{usability}{%
		Mohamed:2017:SUD,%
		Kobsa:2013:CJV%
		}.
\NAMECITE{used}{%
		Cortier:2006:SAP%
		}.
\NAMECITE{User}{%
		Bhargav-Spantzel:2007:UCT,%
		Blundo:1995:MKD,%
		Nithyanand:2011:UAR,%
		Chen:2014:PUQ,%
		Diao:2018:AMU,%
		Lu:2015:TUO,%
		Sandhu:1999:RBA,%
		Taglienti:2016:UAP%
		}.
\NAMECITE{User-aided}{%
		Nithyanand:2011:UAR%
		}.
\NAMECITE{user-oriented}{%
		Lu:2015:TUO%
		}.
\NAMECITE{user-role}{%
		Sandhu:1999:RBA%
		}.
\NAMECITE{Using}{%
		Clifton:2000:USS,%
		Jajodia:2016:UTP,%
		Kerschbaum:2002:UIS,%
		McLean:1992:PNF,%
		Stergiopoulos:2019:USC,%
		Tardo:1992:SGA,%
		Welch:2002:URM,%
		Winslett:1997:UDC,%
		Zhang:2011:UTA,%
		Aziz:2009:CSA,%
		Batra:2019:DAP,%
		Blyth:2006:PRT,%
		Candebat:2006:SPM,%
		Casati:1998:EWA,%
		Chadwick:2010:ICR,%
		Dewri:2011:EPV,%
		Foley:2011:MSP,%
		Guan:2017:SKE,%
		Gupta:2018:SCA,%
		Halpern:2017:QQP,%
		Hofmeyr:1998:IDU,%
		Homer:2013:AVM,%
		Kar:2016:SSI,%
		Kremer:2010:CSA,%
		Li:2002:EPA,%
		Luckett:2018:ISM,%
		Mardziel:2013:DEK,%
		Meadows:2004:FSA,%
		Rieck:2011:AAM,%
		Spinellis:2002:PID,%
		Teepe:2003:WAS,%
		Wang:2008:IIA,%
		Wehner:2007:AWN,%
		Xu:2009:ASL,%
		Yu:2005:SUI%
		}.
\NAMECITE{utility}{%
		DeCapitanidiVimercati:2015:LAI%
		}.


\NAMECITE{validation}{%
		Bodei:2005:SVS%
		}.
\NAMECITE{value}{%
		Bezzi:2012:MPI%
		}.
\NAMECITE{variable}{%
		Wespi:2000:FVV%
		}.
\NAMECITE{variable-length}{%
		Wespi:2000:FVV%
		}.
\NAMECITE{various}{%
		Xia:2006:EWD%
		}.
\NAMECITE{vehicular}{%
		Raya:2007:SVA%
		}.
\NAMECITE{Verifiable}{%
		Nenadic:2005:RBV,%
		Nieto:2013:PVC,%
		Zhang:2018:PPV%
		}.
\NAMECITE{Verification}{%
		Arapinis:2014:SVS,%
		Paiola:2013:VSP,%
		Akinyele:2014:MGA,%
		Bella:2003:IVS,%
		Blanchet:2009:AVC,%
		Cheng:2009:QAV,%
		Cohen:2003:FOV,%
		Hirschi:2019:MUV,%
		Kremer:2003:GBV,%
		Ngo:2014:EVC,%
		Nguyen:2018:ASP,%
		Niu:2014:FVS,%
		Politz:2014:TBV,%
		Rocchetto:2017:IBM%
		}.
\NAMECITE{Verified}{%
		Barthe:2013:VIH,%
		Schellhorn:2002:VFS,%
		Murray:2017:SIV,%
		Zhang:2008:SVA,%
		deAmorim:2016:VIF%
		}.
\NAMECITE{verifier}{%
		Dupressoir:2014:GGP%
		}.
\NAMECITE{verify}{%
		Kobsa:2013:CJV%
		}.
\NAMECITE{Verifying}{%
		Besson:2010:VRA,%
		Blazy:2019:VCT,%
		Delaune:2009:VPT,%
		Gibson-Robinson:2015:VLS,%
		Guttman:2005:VIF,%
		Bartoletti:2009:PVS,%
		Buchmann:2014:TMS,%
		Paulson:1998:IAV%
		}.
\NAMECITE{version}{%
		Bieber:2002:CSI%
		}.
\NAMECITE{versus}{%
		Dewri:2011:EPV%
		}.
\NAMECITE{via}{%
		Ammann:1995:CCS,%
		Blundo:1995:MKD,%
		Crampton:2017:CEI,%
		Elbirt:2008:AAI,%
		Shroff:2008:SIF,%
		Soupionis:2014:GTA,%
		Zavatteri:2019:LMS%
		}.
\NAMECITE{video}{%
		Quisquater:1997:ASS,%
		Spindler:2008:PVS%
		}.
\NAMECITE{videos}{%
		Balagani:2019:PPP%
		}.
\NAMECITE{View}{%
		Bieber:1992:LVS,%
		Biskup:2011:IPV%
		}.
\NAMECITE{views}{%
		Yao:2009:EPT%
		}.
\NAMECITE{virtual}{%
		Cabuk:2010:TAS,%
		Han:2018:RAM%
		}.
\NAMECITE{visibility}{%
		Ciriani:2012:OAE%
		}.
\NAMECITE{voice}{%
		Shirvanian:2018:SVI%
		}.
\NAMECITE{{VoIP}}{%
		Saklikar:2010:IFV%
		}.
\NAMECITE{Volume}{%
		Anonymous:1995:AIV,%
		Anonymous:1996:AIV,%
		Anonymous:1997:AIV,%
		Anonymous:1998:AIV,%
		Anonymous:2001:AIV,%
		Anonymous:2002:AIV,%
		Anonymous:2003:AIV,%
		Anonymous:2004:AIV,%
		Anonymous:2005:AIV,%
		Anonymous:2006:AIV,%
		Anonymous:2007:AIV,%
		Anonymous:2008:AIV,%
		Anonymous:2009:AIV,%
		Anonymous:2010:AIV,%
		Anonymous:2011:AIV,%
		Anonymous:2012:AIV,%
		Anonymous:2013:AIV,%
		Anonymous:2014:AIV,%
		Anonymous:2015:AIV,%
		Anonymous:2016:AIV,%
		Anonymous:2017:AIV,%
		LaPadula:1996:MTR%
		}.
\NAMECITE{voting}{%
		Cortier:2017:FAN,%
		Delaune:2009:VPT,%
		Sun:2012:TAV%
		}.
\NAMECITE{vs}{%
		Wespi:2000:FVV%
		}.
\NAMECITE{vulnerabilities}{%
		Bisht:2014:ADP,%
		Borbor:2018:SUV,%
		Daniels:1999:IHA,%
		Jovanovic:2010:SAD,%
		Ramakrishnan:2002:MBA,%
		Zhou:2013:SVC%
		}.
\NAMECITE{Vulnerability}{%
		Horton:1993:CVP,%
		Bistarelli:2005:SCB,%
		Homer:2013:AVM%
		}.


\NAMECITE{wall}{%
		Atluri:2004:CWS%
		}.
\NAMECITE{{Warm}}{%
		Ma:2019:TOP%
		}.
\NAMECITE{watermarking}{%
		Collberg:2005:SWF%
		}.
\NAMECITE{wavelet}{%
		Dainotti:2009:CAA%
		}.
\NAMECITE{Web}{%
		Bertino:1997:SIS,%
		Bisht:2014:ADP,%
		Calzavara:2019:SSH,%
		DeGroef:2014:SME,%
		Giffin:2017:HPD,%
		Jovanovic:2010:SAD,%
		Vigna:2009:REA,%
		Bonatti:2002:UFR,%
		Braun:2014:CTM,%
		Hsu:2011:WLC,%
		Peddinti:2014:WSQ,%
		Politz:2014:TBV,%
		Syverson:1997:PWB,%
		Winslett:1997:UDC%
		}.
\NAMECITE{web-based}{%
		Vigna:2009:REA%
		}.
\NAMECITE{{WebCallerID}}{%
		Hsu:2011:WLC%
		}.
\NAMECITE{{WebDAV}}{%
		Chadwick:2010:ICR%
		}.
\NAMECITE{{WebInject}}{%
		Continella:2017:PAW%
		}.
\NAMECITE{{WebInject}-based}{%
		Continella:2017:PAW%
		}.
\NAMECITE{website}{%
		Bansal:2014:DCA%
		}.
\NAMECITE{well}{%
		Kreitz:2013:FSW%
		}.
\NAMECITE{well-timed}{%
		Kreitz:2013:FSW%
		}.
\NAMECITE{while}{%
		DeCapitanidiVimercati:2018:EAW%
		}.
\NAMECITE{Wide}{%
		Bertino:1997:SIS,%
		Winslett:1997:UDC%
		}.
\NAMECITE{Window}{%
		Epstein:1993:HAW%
		}.
\NAMECITE{{Windows}}{%
		Stolfo:2005:CET%
		}.
\NAMECITE{wireless}{%
		Guan:2017:SKE,%
		Jadliwala:2013:OMZ,%
		Lopez:2006:UPK%
		}.
\NAMECITE{wiretapping}{%
		Bates:2015:AWK%
		}.
\NAMECITE{within}{%
		Broadfoot:2004:EAW%
		}.
\NAMECITE{without}{%
		Crampton:2017:CEI,%
		Heiderich:2014:SAS,%
		Yang:2015:PAA%
		}.
\NAMECITE{workflow}{%
		Atluri:1997:EMD,%
		Atluri:2000:PNB,%
		Atluri:2004:CWS,%
		Casati:1998:EWA,%
		Crampton:2017:BOW,%
		Gudes:1999:MSI,%
		Teepe:2003:WAS%
		}.
\NAMECITE{workflows}{%
		Atluri:2000:SBE,%
		dosSantos:2017:AFE%
		}.
\NAMECITE{Working}{%
		Foley:1995:SSC%
		}.
\NAMECITE{{World}}{%
		Bertino:1997:SIS,%
		Winslett:1997:UDC%
		}.
\NAMECITE{worm}{%
		Xia:2006:EWD%
		}.
\NAMECITE{worms}{%
		Wehner:2007:AWN%
		}.
\NAMECITE{wrappers}{%
		Sewell:2003:SCU%
		}.
\NAMECITE{Write}{%
		Thomas:1993:KAM%
		}.
\NAMECITE{Write-Up}{%
		Thomas:1993:KAM%
		}.
\NAMECITE{WWW}{%
		Bertino:1997:SIS%
		}.


\NAMECITE{{X.509}}{%
		Barenghi:2018:SPX,%
		Lippert:2006:LCM%
		}.
\NAMECITE{{XML}}{%
		Bertino:2005:ACU,%
		Devanbu:2004:FAX%
		}.
\NAMECITE{{XPath}}{%
		Bottcher:2009:IDA%
		}.


\NAMECITE{{Yahalom}}{%
		Paulson:2001:RBS%
		}.
\NAMECITE{{Yao}}{%
		Backes:2008:KDM%
		}.
\NAMECITE{{Yao}-style}{%
		Backes:2008:KDM%
		}.


\NAMECITE{zero}{%
		Backes:2010:CSS,%
		Deng:2011:ZKB,%
		Lipmaa:2013:MEC%
		}.
\NAMECITE{zero-knowledge}{%
		Backes:2010:CSS,%
		Deng:2011:ZKB,%
		Lipmaa:2013:MEC%
		}.
\NAMECITE{zone}{%
		Jadliwala:2013:OMZ%
		}.