User-Controlled Privacy: Taint, Track, and Control Article Swipe
François Hublet
,
David Basin
,
Srđan Krstić
·
YOU?
·
· 2023
· Open Access
·
· DOI: https://doi.org/10.56553/popets-2024-0034
YOU?
·
· 2023
· Open Access
·
· DOI: https://doi.org/10.56553/popets-2024-0034
We develop the first language-based, Privacy by Design approach that provides support for a rich class of privacy policies. The policies are user-defined, rather than programmer-defined, and support fine-grained information flow restrictions (considering individual application inputs and outputs) with temporal constraints. Our approach, called Taint, Track, and Control (TTC), combines dynamic information-flow control and runtime verification to enforce these policies in the presence of malicious users and developers. We provide TTC's semantics and proofs of its correct enforcement, formalized in the Isabelle/HOL proof assistant. We also implement our approach in a web development framework and port three baseline applications from previous work into this framework for evaluation. Overall, our approach enforces expressive user-defined privacy policies with practical runtime performance.
Related Topics
Concepts
Computer science
Programmer
HOL
Taint checking
Mathematical proof
Enforcement
Track (disk drive)
Information flow
Privacy policy
Access control
Programming language
Semantics (computer science)
Security policy
Control flow
Control (management)
Class (philosophy)
Computer security
Information privacy
Software
Operating system
Artificial intelligence
Law
Linguistics
Philosophy
Geometry
Mathematics
Political science
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.56553/popets-2024-0034
- https://petsymposium.org/popets/2024/popets-2024-0034.pdf
- OA Status
- hybrid
- Cited By
- 8
- References
- 73
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4387857700
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4387857700Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.56553/popets-2024-0034Digital Object Identifier
- Title
-
User-Controlled Privacy: Taint, Track, and ControlWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2023Year of publication
- Publication date
-
2023-10-22Full publication date if available
- Authors
-
François Hublet, David Basin, Srđan KrstićList of authors in order
- Landing page
-
https://doi.org/10.56553/popets-2024-0034Publisher landing page
- PDF URL
-
https://petsymposium.org/popets/2024/popets-2024-0034.pdfDirect link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
hybridOpen access status per OpenAlex
- OA URL
-
https://petsymposium.org/popets/2024/popets-2024-0034.pdfDirect OA link when available
- Concepts
-
Computer science, Programmer, HOL, Taint checking, Mathematical proof, Enforcement, Track (disk drive), Information flow, Privacy policy, Access control, Programming language, Semantics (computer science), Security policy, Control flow, Control (management), Class (philosophy), Computer security, Information privacy, Software, Operating system, Artificial intelligence, Law, Linguistics, Philosophy, Geometry, Mathematics, Political scienceTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
8Total citation count in OpenAlex
- Citations by year (recent)
-
2025: 3, 2024: 3, 2023: 2Per-year citation counts (last 5 years)
- References (count)
-
73Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4387857700 |
|---|---|
| doi | https://doi.org/10.56553/popets-2024-0034 |
| ids.doi | https://doi.org/10.3929/ethz-b-000641987 |
| ids.openalex | https://openalex.org/W4387857700 |
| fwci | 2.0435431 |
| type | article |
| title | User-Controlled Privacy: Taint, Track, and Control |
| biblio.issue | 1 |
| biblio.volume | 2024 |
| biblio.last_page | 616 |
| biblio.first_page | 597 |
| topics[0].id | https://openalex.org/T11424 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9987000226974487 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1702 |
| topics[0].subfield.display_name | Artificial Intelligence |
| topics[0].display_name | Security and Verification in Computing |
| topics[1].id | https://openalex.org/T11241 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9922999739646912 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1711 |
| topics[1].subfield.display_name | Signal Processing |
| topics[1].display_name | Advanced Malware Detection Techniques |
| topics[2].id | https://openalex.org/T10927 |
| topics[2].field.id | https://openalex.org/fields/33 |
| topics[2].field.display_name | Social Sciences |
| topics[2].score | 0.9865000247955322 |
| topics[2].domain.id | https://openalex.org/domains/2 |
| topics[2].domain.display_name | Social Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/3312 |
| topics[2].subfield.display_name | Sociology and Political Science |
| topics[2].display_name | Access Control and Trust |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C41008148 |
| concepts[0].level | 0 |
| concepts[0].score | 0.8838441967964172 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[0].display_name | Computer science |
| concepts[1].id | https://openalex.org/C2778514511 |
| concepts[1].level | 2 |
| concepts[1].score | 0.7867510318756104 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q1374194 |
| concepts[1].display_name | Programmer |
| concepts[2].id | https://openalex.org/C17435882 |
| concepts[2].level | 2 |
| concepts[2].score | 0.7765980958938599 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q17030435 |
| concepts[2].display_name | HOL |
| concepts[3].id | https://openalex.org/C63116202 |
| concepts[3].level | 3 |
| concepts[3].score | 0.7392652630805969 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q7676227 |
| concepts[3].display_name | Taint checking |
| concepts[4].id | https://openalex.org/C108710211 |
| concepts[4].level | 2 |
| concepts[4].score | 0.5563699007034302 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q11538 |
| concepts[4].display_name | Mathematical proof |
| concepts[5].id | https://openalex.org/C2779777834 |
| concepts[5].level | 2 |
| concepts[5].score | 0.5094106793403625 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q4202277 |
| concepts[5].display_name | Enforcement |
| concepts[6].id | https://openalex.org/C89992363 |
| concepts[6].level | 2 |
| concepts[6].score | 0.49547016620635986 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q5961558 |
| concepts[6].display_name | Track (disk drive) |
| concepts[7].id | https://openalex.org/C2779136372 |
| concepts[7].level | 2 |
| concepts[7].score | 0.4872080683708191 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q10283002 |
| concepts[7].display_name | Information flow |
| concepts[8].id | https://openalex.org/C102938260 |
| concepts[8].level | 3 |
| concepts[8].score | 0.4761795401573181 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q1999831 |
| concepts[8].display_name | Privacy policy |
| concepts[9].id | https://openalex.org/C527821871 |
| concepts[9].level | 2 |
| concepts[9].score | 0.46862107515335083 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q228502 |
| concepts[9].display_name | Access control |
| concepts[10].id | https://openalex.org/C199360897 |
| concepts[10].level | 1 |
| concepts[10].score | 0.4591803252696991 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[10].display_name | Programming language |
| concepts[11].id | https://openalex.org/C184337299 |
| concepts[11].level | 2 |
| concepts[11].score | 0.45587605237960815 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q1437428 |
| concepts[11].display_name | Semantics (computer science) |
| concepts[12].id | https://openalex.org/C154908896 |
| concepts[12].level | 2 |
| concepts[12].score | 0.4532601833343506 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q2167404 |
| concepts[12].display_name | Security policy |
| concepts[13].id | https://openalex.org/C160191386 |
| concepts[13].level | 2 |
| concepts[13].score | 0.4333900511264801 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q868299 |
| concepts[13].display_name | Control flow |
| concepts[14].id | https://openalex.org/C2775924081 |
| concepts[14].level | 2 |
| concepts[14].score | 0.4321596026420593 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q55608371 |
| concepts[14].display_name | Control (management) |
| concepts[15].id | https://openalex.org/C2777212361 |
| concepts[15].level | 2 |
| concepts[15].score | 0.4136631190776825 |
| concepts[15].wikidata | https://www.wikidata.org/wiki/Q5127848 |
| concepts[15].display_name | Class (philosophy) |
| concepts[16].id | https://openalex.org/C38652104 |
| concepts[16].level | 1 |
| concepts[16].score | 0.372172474861145 |
| concepts[16].wikidata | https://www.wikidata.org/wiki/Q3510521 |
| concepts[16].display_name | Computer security |
| concepts[17].id | https://openalex.org/C123201435 |
| concepts[17].level | 2 |
| concepts[17].score | 0.2969227731227875 |
| concepts[17].wikidata | https://www.wikidata.org/wiki/Q456632 |
| concepts[17].display_name | Information privacy |
| concepts[18].id | https://openalex.org/C2777904410 |
| concepts[18].level | 2 |
| concepts[18].score | 0.17725792527198792 |
| concepts[18].wikidata | https://www.wikidata.org/wiki/Q7397 |
| concepts[18].display_name | Software |
| concepts[19].id | https://openalex.org/C111919701 |
| concepts[19].level | 1 |
| concepts[19].score | 0.15635201334953308 |
| concepts[19].wikidata | https://www.wikidata.org/wiki/Q9135 |
| concepts[19].display_name | Operating system |
| concepts[20].id | https://openalex.org/C154945302 |
| concepts[20].level | 1 |
| concepts[20].score | 0.08487197756767273 |
| concepts[20].wikidata | https://www.wikidata.org/wiki/Q11660 |
| concepts[20].display_name | Artificial intelligence |
| concepts[21].id | https://openalex.org/C199539241 |
| concepts[21].level | 1 |
| concepts[21].score | 0.0 |
| concepts[21].wikidata | https://www.wikidata.org/wiki/Q7748 |
| concepts[21].display_name | Law |
| concepts[22].id | https://openalex.org/C41895202 |
| concepts[22].level | 1 |
| concepts[22].score | 0.0 |
| concepts[22].wikidata | https://www.wikidata.org/wiki/Q8162 |
| concepts[22].display_name | Linguistics |
| concepts[23].id | https://openalex.org/C138885662 |
| concepts[23].level | 0 |
| concepts[23].score | 0.0 |
| concepts[23].wikidata | https://www.wikidata.org/wiki/Q5891 |
| concepts[23].display_name | Philosophy |
| concepts[24].id | https://openalex.org/C2524010 |
| concepts[24].level | 1 |
| concepts[24].score | 0.0 |
| concepts[24].wikidata | https://www.wikidata.org/wiki/Q8087 |
| concepts[24].display_name | Geometry |
| concepts[25].id | https://openalex.org/C33923547 |
| concepts[25].level | 0 |
| concepts[25].score | 0.0 |
| concepts[25].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[25].display_name | Mathematics |
| concepts[26].id | https://openalex.org/C17744445 |
| concepts[26].level | 0 |
| concepts[26].score | 0.0 |
| concepts[26].wikidata | https://www.wikidata.org/wiki/Q36442 |
| concepts[26].display_name | Political science |
| keywords[0].id | https://openalex.org/keywords/computer-science |
| keywords[0].score | 0.8838441967964172 |
| keywords[0].display_name | Computer science |
| keywords[1].id | https://openalex.org/keywords/programmer |
| keywords[1].score | 0.7867510318756104 |
| keywords[1].display_name | Programmer |
| keywords[2].id | https://openalex.org/keywords/hol |
| keywords[2].score | 0.7765980958938599 |
| keywords[2].display_name | HOL |
| keywords[3].id | https://openalex.org/keywords/taint-checking |
| keywords[3].score | 0.7392652630805969 |
| keywords[3].display_name | Taint checking |
| keywords[4].id | https://openalex.org/keywords/mathematical-proof |
| keywords[4].score | 0.5563699007034302 |
| keywords[4].display_name | Mathematical proof |
| keywords[5].id | https://openalex.org/keywords/enforcement |
| keywords[5].score | 0.5094106793403625 |
| keywords[5].display_name | Enforcement |
| keywords[6].id | https://openalex.org/keywords/track |
| keywords[6].score | 0.49547016620635986 |
| keywords[6].display_name | Track (disk drive) |
| keywords[7].id | https://openalex.org/keywords/information-flow |
| keywords[7].score | 0.4872080683708191 |
| keywords[7].display_name | Information flow |
| keywords[8].id | https://openalex.org/keywords/privacy-policy |
| keywords[8].score | 0.4761795401573181 |
| keywords[8].display_name | Privacy policy |
| keywords[9].id | https://openalex.org/keywords/access-control |
| keywords[9].score | 0.46862107515335083 |
| keywords[9].display_name | Access control |
| keywords[10].id | https://openalex.org/keywords/programming-language |
| keywords[10].score | 0.4591803252696991 |
| keywords[10].display_name | Programming language |
| keywords[11].id | https://openalex.org/keywords/semantics |
| keywords[11].score | 0.45587605237960815 |
| keywords[11].display_name | Semantics (computer science) |
| keywords[12].id | https://openalex.org/keywords/security-policy |
| keywords[12].score | 0.4532601833343506 |
| keywords[12].display_name | Security policy |
| keywords[13].id | https://openalex.org/keywords/control-flow |
| keywords[13].score | 0.4333900511264801 |
| keywords[13].display_name | Control flow |
| keywords[14].id | https://openalex.org/keywords/control |
| keywords[14].score | 0.4321596026420593 |
| keywords[14].display_name | Control (management) |
| keywords[15].id | https://openalex.org/keywords/class |
| keywords[15].score | 0.4136631190776825 |
| keywords[15].display_name | Class (philosophy) |
| keywords[16].id | https://openalex.org/keywords/computer-security |
| keywords[16].score | 0.372172474861145 |
| keywords[16].display_name | Computer security |
| keywords[17].id | https://openalex.org/keywords/information-privacy |
| keywords[17].score | 0.2969227731227875 |
| keywords[17].display_name | Information privacy |
| keywords[18].id | https://openalex.org/keywords/software |
| keywords[18].score | 0.17725792527198792 |
| keywords[18].display_name | Software |
| keywords[19].id | https://openalex.org/keywords/operating-system |
| keywords[19].score | 0.15635201334953308 |
| keywords[19].display_name | Operating system |
| keywords[20].id | https://openalex.org/keywords/artificial-intelligence |
| keywords[20].score | 0.08487197756767273 |
| keywords[20].display_name | Artificial intelligence |
| language | en |
| locations[0].id | doi:10.56553/popets-2024-0034 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4210183172 |
| locations[0].source.issn | 2299-0984 |
| locations[0].source.type | journal |
| locations[0].source.is_oa | False |
| locations[0].source.issn_l | 2299-0984 |
| locations[0].source.is_core | True |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | Proceedings on Privacy Enhancing Technologies |
| locations[0].source.host_organization | https://openalex.org/P4310320322 |
| locations[0].source.host_organization_name | De Gruyter Open |
| locations[0].source.host_organization_lineage | https://openalex.org/P4310320322, https://openalex.org/P4310313990 |
| locations[0].source.host_organization_lineage_names | De Gruyter Open, De Gruyter |
| locations[0].license | cc-by |
| locations[0].pdf_url | https://petsymposium.org/popets/2024/popets-2024-0034.pdf |
| locations[0].version | publishedVersion |
| locations[0].raw_type | journal-article |
| locations[0].license_id | https://openalex.org/licenses/cc-by |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Proceedings on Privacy Enhancing Technologies |
| locations[0].landing_page_url | https://doi.org/10.56553/popets-2024-0034 |
| locations[1].id | pmh:oai:www.research-collection.ethz.ch:20.500.11850/641987 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306402302 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | False |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | Repository for Publications and Research Data (ETH Zurich) |
| locations[1].source.host_organization | https://openalex.org/I35440088 |
| locations[1].source.host_organization_name | ETH Zurich |
| locations[1].source.host_organization_lineage | https://openalex.org/I35440088 |
| locations[1].license | cc-by |
| locations[1].pdf_url | |
| locations[1].version | publishedVersion |
| locations[1].raw_type | info:eu-repo/semantics/publishedVersion |
| locations[1].license_id | https://openalex.org/licenses/cc-by |
| locations[1].is_accepted | True |
| locations[1].is_published | True |
| locations[1].raw_source_name | Proceedings on Privacy Enhancing Technologies, 2024 (1) |
| locations[1].landing_page_url | http://hdl.handle.net/20.500.11850/641987 |
| locations[2].id | doi:10.3929/ethz-b-000641987 |
| locations[2].is_oa | True |
| locations[2].source.id | https://openalex.org/S7407051236 |
| locations[2].source.type | repository |
| locations[2].source.is_oa | False |
| locations[2].source.issn_l | |
| locations[2].source.is_core | False |
| locations[2].source.is_in_doaj | False |
| locations[2].source.display_name | ETH Zürich Research Collection |
| locations[2].source.host_organization | |
| locations[2].source.host_organization_name | |
| locations[2].license | |
| locations[2].pdf_url | |
| locations[2].version | |
| locations[2].raw_type | article-journal |
| locations[2].license_id | |
| locations[2].is_accepted | False |
| locations[2].is_published | |
| locations[2].raw_source_name | |
| locations[2].landing_page_url | https://doi.org/10.3929/ethz-b-000641987 |
| indexed_in | crossref, datacite |
| authorships[0].author.id | https://openalex.org/A5061322917 |
| authorships[0].author.orcid | https://orcid.org/0000-0001-5419-3125 |
| authorships[0].author.display_name | François Hublet |
| authorships[0].countries | CH |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I35440088 |
| authorships[0].affiliations[0].raw_affiliation_string | ETH Zürich |
| authorships[0].institutions[0].id | https://openalex.org/I35440088 |
| authorships[0].institutions[0].ror | https://ror.org/05a28rw58 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I2799323385, https://openalex.org/I35440088 |
| authorships[0].institutions[0].country_code | CH |
| authorships[0].institutions[0].display_name | ETH Zurich |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | François Hublet |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | ETH Zürich |
| authorships[1].author.id | https://openalex.org/A5025344654 |
| authorships[1].author.orcid | https://orcid.org/0000-0003-2952-939X |
| authorships[1].author.display_name | David Basin |
| authorships[1].countries | CH |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I35440088 |
| authorships[1].affiliations[0].raw_affiliation_string | ETH Zürich |
| authorships[1].institutions[0].id | https://openalex.org/I35440088 |
| authorships[1].institutions[0].ror | https://ror.org/05a28rw58 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I2799323385, https://openalex.org/I35440088 |
| authorships[1].institutions[0].country_code | CH |
| authorships[1].institutions[0].display_name | ETH Zurich |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | David Basin |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | ETH Zürich |
| authorships[2].author.id | https://openalex.org/A5028440299 |
| authorships[2].author.orcid | https://orcid.org/0000-0001-8314-2589 |
| authorships[2].author.display_name | Srđan Krstić |
| authorships[2].countries | CH |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I35440088 |
| authorships[2].affiliations[0].raw_affiliation_string | ETH Zürich |
| authorships[2].institutions[0].id | https://openalex.org/I35440088 |
| authorships[2].institutions[0].ror | https://ror.org/05a28rw58 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I2799323385, https://openalex.org/I35440088 |
| authorships[2].institutions[0].country_code | CH |
| authorships[2].institutions[0].display_name | ETH Zurich |
| authorships[2].author_position | last |
| authorships[2].raw_author_name | Srđan Krstić |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | ETH Zürich |
| has_content.pdf | True |
| has_content.grobid_xml | True |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://petsymposium.org/popets/2024/popets-2024-0034.pdf |
| open_access.oa_status | hybrid |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | User-Controlled Privacy: Taint, Track, and Control |
| has_fulltext | True |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T11424 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9987000226974487 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1702 |
| primary_topic.subfield.display_name | Artificial Intelligence |
| primary_topic.display_name | Security and Verification in Computing |
| related_works | https://openalex.org/W1500133066, https://openalex.org/W2585743557, https://openalex.org/W4226258670, https://openalex.org/W2912319261, https://openalex.org/W2785297793, https://openalex.org/W4313443234, https://openalex.org/W2015960018, https://openalex.org/W2121579803, https://openalex.org/W2966514766, https://openalex.org/W2951091523 |
| cited_by_count | 8 |
| counts_by_year[0].year | 2025 |
| counts_by_year[0].cited_by_count | 3 |
| counts_by_year[1].year | 2024 |
| counts_by_year[1].cited_by_count | 3 |
| counts_by_year[2].year | 2023 |
| counts_by_year[2].cited_by_count | 2 |
| locations_count | 3 |
| best_oa_location.id | doi:10.56553/popets-2024-0034 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4210183172 |
| best_oa_location.source.issn | 2299-0984 |
| best_oa_location.source.type | journal |
| best_oa_location.source.is_oa | False |
| best_oa_location.source.issn_l | 2299-0984 |
| best_oa_location.source.is_core | True |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | Proceedings on Privacy Enhancing Technologies |
| best_oa_location.source.host_organization | https://openalex.org/P4310320322 |
| best_oa_location.source.host_organization_name | De Gruyter Open |
| best_oa_location.source.host_organization_lineage | https://openalex.org/P4310320322, https://openalex.org/P4310313990 |
| best_oa_location.source.host_organization_lineage_names | De Gruyter Open, De Gruyter |
| best_oa_location.license | cc-by |
| best_oa_location.pdf_url | https://petsymposium.org/popets/2024/popets-2024-0034.pdf |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | journal-article |
| best_oa_location.license_id | https://openalex.org/licenses/cc-by |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Proceedings on Privacy Enhancing Technologies |
| best_oa_location.landing_page_url | https://doi.org/10.56553/popets-2024-0034 |
| primary_location.id | doi:10.56553/popets-2024-0034 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4210183172 |
| primary_location.source.issn | 2299-0984 |
| primary_location.source.type | journal |
| primary_location.source.is_oa | False |
| primary_location.source.issn_l | 2299-0984 |
| primary_location.source.is_core | True |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | Proceedings on Privacy Enhancing Technologies |
| primary_location.source.host_organization | https://openalex.org/P4310320322 |
| primary_location.source.host_organization_name | De Gruyter Open |
| primary_location.source.host_organization_lineage | https://openalex.org/P4310320322, https://openalex.org/P4310313990 |
| primary_location.source.host_organization_lineage_names | De Gruyter Open, De Gruyter |
| primary_location.license | cc-by |
| primary_location.pdf_url | https://petsymposium.org/popets/2024/popets-2024-0034.pdf |
| primary_location.version | publishedVersion |
| primary_location.raw_type | journal-article |
| primary_location.license_id | https://openalex.org/licenses/cc-by |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Proceedings on Privacy Enhancing Technologies |
| primary_location.landing_page_url | https://doi.org/10.56553/popets-2024-0034 |
| publication_date | 2023-10-22 |
| publication_year | 2023 |
| referenced_works | https://openalex.org/W2517913729, https://openalex.org/W2972736528, https://openalex.org/W2066195326, https://openalex.org/W2296887322, https://openalex.org/W1989051781, https://openalex.org/W2267240189, https://openalex.org/W2784117075, https://openalex.org/W2024811322, https://openalex.org/W3101075274, https://openalex.org/W114581357, https://openalex.org/W2523320959, https://openalex.org/W2891060526, https://openalex.org/W2025315843, https://openalex.org/W2964335063, https://openalex.org/W4250728693, https://openalex.org/W3206405735, https://openalex.org/W2145653610, https://openalex.org/W2094873755, https://openalex.org/W2129278597, https://openalex.org/W2008332764, https://openalex.org/W1866799138, https://openalex.org/W1639975619, https://openalex.org/W3100637409, https://openalex.org/W4200186003, https://openalex.org/W2911978475, https://openalex.org/W4238033972, https://openalex.org/W2801746908, https://openalex.org/W4286447266, https://openalex.org/W2972497427, https://openalex.org/W3012768098, https://openalex.org/W2031533839, https://openalex.org/W91193428, https://openalex.org/W2625599531, https://openalex.org/W1977764760, https://openalex.org/W2969614198, https://openalex.org/W1597778235, https://openalex.org/W2978242032, https://openalex.org/W1588115268, https://openalex.org/W2915383908, https://openalex.org/W1978129870, https://openalex.org/W2158126684, https://openalex.org/W2889124323, https://openalex.org/W2900152012, https://openalex.org/W3048588597, https://openalex.org/W4205962651, https://openalex.org/W2036910349, https://openalex.org/W2978390175, https://openalex.org/W2005421574, https://openalex.org/W3212753401, https://openalex.org/W3100118001, https://openalex.org/W4243963980, https://openalex.org/W2078922545, https://openalex.org/W4296927657, https://openalex.org/W3125174003, https://openalex.org/W1725973462, https://openalex.org/W2902581740, https://openalex.org/W1488890761, https://openalex.org/W4387857700, https://openalex.org/W2546125727, https://openalex.org/W3211363117, https://openalex.org/W2202148857, https://openalex.org/W2886153332, https://openalex.org/W3011513195, https://openalex.org/W3008189384, https://openalex.org/W2146717998, https://openalex.org/W1587950788, https://openalex.org/W2885332205, https://openalex.org/W2611687401, https://openalex.org/W2294395356, https://openalex.org/W2949068083, https://openalex.org/W2223370306, https://openalex.org/W3173259073, https://openalex.org/W1984936841 |
| referenced_works_count | 73 |
| abstract_inverted_index.a | 13, 90 |
| abstract_inverted_index.We | 0, 68, 84 |
| abstract_inverted_index.by | 6 |
| abstract_inverted_index.in | 60, 79, 89 |
| abstract_inverted_index.of | 16, 63, 74 |
| abstract_inverted_index.to | 56 |
| abstract_inverted_index.Our | 41 |
| abstract_inverted_index.The | 19 |
| abstract_inverted_index.and | 26, 36, 46, 53, 66, 72, 94 |
| abstract_inverted_index.are | 21 |
| abstract_inverted_index.for | 12, 105 |
| abstract_inverted_index.its | 75 |
| abstract_inverted_index.our | 87, 108 |
| abstract_inverted_index.the | 2, 61, 80 |
| abstract_inverted_index.web | 91 |
| abstract_inverted_index.also | 85 |
| abstract_inverted_index.flow | 30 |
| abstract_inverted_index.from | 99 |
| abstract_inverted_index.into | 102 |
| abstract_inverted_index.port | 95 |
| abstract_inverted_index.rich | 14 |
| abstract_inverted_index.than | 24 |
| abstract_inverted_index.that | 9 |
| abstract_inverted_index.this | 103 |
| abstract_inverted_index.with | 38, 115 |
| abstract_inverted_index.work | 101 |
| abstract_inverted_index.TTC's | 70 |
| abstract_inverted_index.class | 15 |
| abstract_inverted_index.first | 3 |
| abstract_inverted_index.proof | 82 |
| abstract_inverted_index.these | 58 |
| abstract_inverted_index.three | 96 |
| abstract_inverted_index.users | 65 |
| abstract_inverted_index.(TTC), | 48 |
| abstract_inverted_index.Design | 7 |
| abstract_inverted_index.Taint, | 44 |
| abstract_inverted_index.Track, | 45 |
| abstract_inverted_index.called | 43 |
| abstract_inverted_index.inputs | 35 |
| abstract_inverted_index.proofs | 73 |
| abstract_inverted_index.rather | 23 |
| abstract_inverted_index.Control | 47 |
| abstract_inverted_index.Privacy | 5 |
| abstract_inverted_index.control | 52 |
| abstract_inverted_index.correct | 76 |
| abstract_inverted_index.develop | 1 |
| abstract_inverted_index.dynamic | 50 |
| abstract_inverted_index.enforce | 57 |
| abstract_inverted_index.privacy | 17, 113 |
| abstract_inverted_index.provide | 69 |
| abstract_inverted_index.runtime | 54, 117 |
| abstract_inverted_index.support | 11, 27 |
| abstract_inverted_index.Overall, | 107 |
| abstract_inverted_index.approach | 8, 88, 109 |
| abstract_inverted_index.baseline | 97 |
| abstract_inverted_index.combines | 49 |
| abstract_inverted_index.enforces | 110 |
| abstract_inverted_index.outputs) | 37 |
| abstract_inverted_index.policies | 20, 59, 114 |
| abstract_inverted_index.presence | 62 |
| abstract_inverted_index.previous | 100 |
| abstract_inverted_index.provides | 10 |
| abstract_inverted_index.temporal | 39 |
| abstract_inverted_index.approach, | 42 |
| abstract_inverted_index.framework | 93, 104 |
| abstract_inverted_index.implement | 86 |
| abstract_inverted_index.malicious | 64 |
| abstract_inverted_index.policies. | 18 |
| abstract_inverted_index.practical | 116 |
| abstract_inverted_index.semantics | 71 |
| abstract_inverted_index.assistant. | 83 |
| abstract_inverted_index.expressive | 111 |
| abstract_inverted_index.formalized | 78 |
| abstract_inverted_index.individual | 33 |
| abstract_inverted_index.application | 34 |
| abstract_inverted_index.developers. | 67 |
| abstract_inverted_index.development | 92 |
| abstract_inverted_index.evaluation. | 106 |
| abstract_inverted_index.information | 29 |
| abstract_inverted_index.(considering | 32 |
| abstract_inverted_index.Isabelle/HOL | 81 |
| abstract_inverted_index.applications | 98 |
| abstract_inverted_index.constraints. | 40 |
| abstract_inverted_index.enforcement, | 77 |
| abstract_inverted_index.fine-grained | 28 |
| abstract_inverted_index.performance. | 118 |
| abstract_inverted_index.restrictions | 31 |
| abstract_inverted_index.user-defined | 112 |
| abstract_inverted_index.verification | 55 |
| abstract_inverted_index.user-defined, | 22 |
| abstract_inverted_index.language-based, | 4 |
| abstract_inverted_index.information-flow | 51 |
| abstract_inverted_index.programmer-defined, | 25 |
| cited_by_percentile_year.max | 97 |
| cited_by_percentile_year.min | 94 |
| countries_distinct_count | 1 |
| institutions_distinct_count | 3 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/16 |
| sustainable_development_goals[0].score | 0.6800000071525574 |
| sustainable_development_goals[0].display_name | Peace, Justice and strong institutions |
| citation_normalized_percentile.value | 0.87219648 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |