MétaCan
Menu
Cohort builder

4,299,418 works, Canadian by any of four routes.

Every filter state is a URL; the URL is the query; the query is citable via /q/⟨hash⟩. The page, the API and the export parse the same parameters.

The current cohort, streamed from the database: every work column, the machine labels, the provisional scores, and the per-row validation status. Exports are capped at 100,000 rows. Mints a permanent /q/ link for this exact query. The same filters always produce the same link, whoever asks.

Search term
Author
Year range
Sort
Language
Type
Field
Venue
Topic
Security and Verification in Computing
Retraction
Abstract
Evidence source
Study design
Label agreement
Label status

Direct Codex and Gemma labels are unvalidated and sparse. Distilled predictions cover the full frame and are also unvalidated. Choose the evidence source explicitly; absence of a direct label is never a negative label.

affaffiliation
fundfunder
venuejournal
aboutaboutness

The four routes compose: require the funder route and exclude affiliation to get the funder-only stratum no affiliation-based frame ever sees.

403 results · 1 filter active ·
Results by year
20002025
Publication date
Categories
Machine labels · sparse coverage
Evidence
Language
Type
Citations
An unlabeled work is unknown, not a negative. Label coverage is reported on every query.
403 works in the cohort · of 4,299,418page 3 of 9

Labels cover 0 of 403 works in this cohort. The rest are unlabeled, which is not a negative label: the label table is sparse today and grows as labeling rounds land.

Distilled predictions cover 403 of 403 works in this cohort. Predictions are machine_predicted_unvalidated. The Gemma side is a direct model label for every work (title-only); the Codex side is a distilled, calibrated classifier. Candidate is the union; consensus is the intersection.

affunlabeled
A TOCTOU Attack on DICE Attestation
Stefan Hristozov, Moritz Wettermann, Manuel Huber
2022· preprint· en· Computer Science
machine prediction:candidate · noneconsensus · none
12
citations
affunlabeled
Behavioral Attestation for Business Processes
Masoom Alam, Mohammad Nauman, Xinwen Zhang, Tamleek Ali, Patrick C. K. Hung
2009· article· en· Computer Science
machine prediction:candidate · noneconsensus · none
12
citations
affno abstractunlabeled
Runtime Enforcement with Partial Control
Raphaël Khoury, Sylvain Hallé
2016· book-chapter· en· Lecture notes in computer science· Computer Science
machine prediction:candidate · noneconsensus · none
12
citations
affunlabeled
RC4 state and its applications
Qian Yu, C. N. Zhang
2011· article· en· Computer Science
machine prediction:candidate · noneconsensus · none
11
citations
affunlabeled
The last CPU
Joel Nider, Alexandra Fedorova
2021· article· en· Computer Science
machine prediction:candidate · noneconsensus · none
11
citations
afffundunlabeled
LMP
Wei Huang, Zhen Huang, Dhaval Miyani, David Lie
2016· article· en· Computer Science
machine prediction:candidate · insufficient_payloadconsensus · none
11
citations
afffundunlabeled
Is Hardware More Secure Than Software?
Lianying Zhao, David Lie
2020· article· en· IEEE Security & Privacy· Computer Science
machine prediction:candidate · noneconsensus · none
10
citations
afffundunlabeled
Bash in the Wild: Language Usage, Code Smells, and Bugs
Yiwen Dong, Zheyang Li, Yongqiang Tian, C. P. Sun, Michael W. Godfrey, Meiyappan Nagappan
2022· article· en· ACM Transactions on Software Engineering and Methodology· Computer Science
machine prediction:candidate · noneconsensus · none
10
citations
affunlabeled
Practical Software-Based Shadow Stacks on x86-64
Changwei Zou, Yaoqing Gao, Jingling Xue
2022· article· en· ACM Transactions on Architecture and Code Optimization· Computer Science
machine prediction:candidate · noneconsensus · none
10
citations
affunlabeled
Pluggable verification modules
Philip Fong
2004· article· en· Computer Science
machine prediction:candidate · noneconsensus · none
10
citations
afffundunlabeled
Toward Hardware Security Benchmarking of LLMs
Raheel Afsharmazayejani, Mohammad Moradi Shahmiri, Parker Link, Hammond Pearce, Benjamin Tan
2024· article· en· Computer Science
machine prediction:candidate · noneconsensus · none
10
citations
affunlabeled
Protecting Data on Smartphones and Tablets from Memory Attacks
Patrick Colp, Jiawen Zhang, James P. Gleeson, Sahil Suneja, Eyal de Lara, Himanshu Raj +2 more
2015· article· en· ACM SIGARCH Computer Architecture News· Computer Science
machine prediction:candidate · noneconsensus · none
10
citations
afffundno abstractunlabeled
Faster Alias Set Analysis Using Summaries
Nomair A. Naeem, Ondřej Lhoták
2011· book-chapter· en· Lecture notes in computer science· Computer Science
machine prediction:candidate · noneconsensus · none
10
citations
affunlabeled
Exploring VM Introspection
Sahil Suneja, Canturk Isci, Eyal de Lara, Vasanth Bala
2015· article· en· ACM SIGPLAN Notices· Computer Science
machine prediction:candidate · noneconsensus · none
9
citations
affunlabeled
Dynamic Patching of Embedded Software
Mathias Ekman, Henrik Thane
2007· article· en· Proceedings - Real-Time Technology and Applications Symposium· Computer Science
machine prediction:candidate · noneconsensus · none
9
citations
affno abstractunlabeled
Autonomic and Trusted Computing
Laurence T. Yang
2006· book· en· Lecture notes in computer science· Computer Science
machine prediction:candidate · noneconsensus · none
9
citations
affunlabeled
MPI Enhancements in John the Ripper
Edward R. Sykes, Michael C.-J. Lin, Wesley Skoczen
2010· article· en· Journal of Physics Conference Series· Computer Science
machine prediction:candidate · noneconsensus · none
9
citations
affunlabeled
MemCloak
Weixin Liang, Kai Bu, Ke Li, Jinhong Li, Arya Tavakoli
2018· article· en· Computer Science
machine prediction:candidate · noneconsensus · none
9
citations
affunlabeled
mmapx
Reto Achermann, David Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe +1 more
2021· article· en· Computer Science
machine prediction:candidate · insufficient_payloadconsensus · none
8
citations
afffundunlabeled
Hypnoguard
Lianying Zhao, Mohammad Mannan
2016· article· en· Computer Science
machine prediction:candidate · noneconsensus · none
8
citations
affno abstractunlabeled
Combining behavioural types with security analysis
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantović +3 more
2015· article· en· IMT Institutional Repository (IMT School for Advanced Studies Lucca)· Computer Science
machine prediction:candidate · noneconsensus · none
8
citations
affno abstractunlabeled
Vulnerability management in Linux distributions
Jiahuei Lin, Haoxiang Zhang, Bram Adams, Ahmed E. Hassan
2023· article· en· Empirical Software Engineering· Computer Science
machine prediction:candidate · noneconsensus · none
7
citations

How this was built: Screen · Findings · About