Search results for "CCS"

Hits ?▲	Authors	Title	Venue	Year	Link
29	Francesca Falzon, Kaoutar Elkhiyaoui, Yacov Manevich, Angelo De Caro	Short Privacy-Preserving Proofs of Liabilities.	CCS	2023	DBLP DOI BibTeX RDF
29	Jihyeon Yu, Juhwan Kim, Yeohoon Yun, Joobeom Yun	Poster: Combining Fuzzing with Concolic Execution for IoT Firmware Testing.	CCS	2023	DBLP DOI BibTeX RDF
29	Michael Brenner 0003, Anamaria Costache, Kurt Rohloff	WAHC '23: 11th Workshop on Encrypted Computing & Applied Homomorphic Cryptography.	CCS	2023	DBLP DOI BibTeX RDF
29	Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad Wahby, Joseph Bonneau, David Mazières	Riggs: Decentralized Sealed-Bid Auctions.	CCS	2023	DBLP DOI BibTeX RDF
29	Chuanqi Xu, Ferhat Erata, Jakub Szefer	Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers.	CCS	2023	DBLP DOI BibTeX RDF
29	Hanshen Xiao, Jun Wan 0008, Srinivas Devadas	Geometry of Sensitivity: Twice Sampling and Hybrid Clipping in Differential Privacy with Optimal Gaussian Noise and Application to Deep Learning.	CCS	2023	DBLP DOI BibTeX RDF
29	Kyle Zeng, Zhenpeng Lin, Kangjie Lu, Xinyu Xing, Ruoyu Wang 0001, Adam Doupé, Yan Shoshitaishvili, Tiffany Bao	RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections.	CCS	2023	DBLP DOI BibTeX RDF
29	Lingshuo Meng, Yijie Bai, Yanjiao Chen, Yutong Hu 0005, Wenyuan Xu 0001, Haiqin Weng	Devil in Disguise: Breaching Graph Neural Networks Privacy through Infiltration.	CCS	2023	DBLP DOI BibTeX RDF
29	Taechan Kim 0001, Hyesun Kwak, Dongwon Lee, Jinyeong Seo, Yongsoo Song	Asymptotically Faster Multi-Key Homomorphic Encryption from Homomorphic Gadget Decomposition.	CCS	2023	DBLP DOI BibTeX RDF
29	Gilad Asharov, Koki Hamada, Ryo Kikuchi, Ariel Nof, Benny Pinkas, Junichi Tomida	Secure Statistical Analysis on Multiple Datasets: Join and Group-By.	CCS	2023	DBLP DOI BibTeX RDF
29	Ertem Nusret Tas, Runchao Han, David Tse, Mingchao Yu	Interchain Timestamping for Mesh Security.	CCS	2023	DBLP DOI BibTeX RDF
29	Wei Xu, Xiang Li, Chaoyi Lu, Baojun Liu, Haixin Duan, Jia Zhang 0004, Jianjun Chen 0005, Tao Wan 0004	TsuKing: Coordinating DNS Resolvers and Queries into Potent DoS Amplifiers.	CCS	2023	DBLP DOI BibTeX RDF
29	Hanwen Lei, Ziqi Zhang, Shaokun Zhang, Peng Jiang, Zhineng Zhong, Ningyu He, Ding Li 0001, Yao Guo 0001, Xiangqun Chen	Put Your Memory in Order: Efficient Domain-based Memory Isolation for WASM Applications.	CCS	2023	DBLP DOI BibTeX RDF
29	Fraser Brown, Klaus von Gleissenthall	PLAS: The 18th Workshop on Programming Languages and Analysis for Security.	CCS	2023	DBLP DOI BibTeX RDF
29	Zeyang Sha, Zheng Li 0023, Ning Yu, Yang Zhang 0016	DE-FAKE: Detection and Attribution of Fake Images Generated by Text-to-Image Generation Models.	CCS	2023	DBLP DOI BibTeX RDF
29	Jason Kim 0007, Stephan van Schaik, Daniel Genkin, Yuval Yarom	iLeakage: Browser-based Timerless Speculative Execution Attacks on Apple Devices.	CCS	2023	DBLP DOI BibTeX RDF
29	Gibran Gómez, Kevin van Liebergen, Juan Caballero	Cybercrime Bitcoin Revenue Estimations: Quantifying the Impact of Methodology and Coverage.	CCS	2023	DBLP DOI BibTeX RDF
29	Rasoul Akhavan Mahdavi, Haoyan Ni, Dimitry Linkov, Florian Kerschbaum	Level Up: Private Non-Interactive Decision Tree Evaluation using Levelled Homomorphic Encryption.	CCS	2023	DBLP DOI BibTeX RDF
29	Wen Li, Haoran Yang, Xiapu Luo, Long Cheng 0005, Haipeng Cai	PyRTFuzz: Detecting Bugs in Python Runtimes via Two-Level Collaborative Fuzzing.	CCS	2023	DBLP DOI BibTeX RDF
29	Saleh Khalaj Monfared, Tahoura Mosavirik, Shahin Tajik	LeakyOhm: Secret Bits Extraction using Impedance Analysis.	CCS	2023	DBLP DOI BibTeX RDF
29	David Schmidt, Carlotta Tagliaro, Kevin Borgolte, Martina Lindorfer	IoTFlow: Inferring IoT Device Behavior at Scale through Static Mobile Companion App Analysis.	CCS	2023	DBLP DOI BibTeX RDF
29	Aniket Kate, Easwar Vivek Mangipudi, Siva Maradana, Pratyay Mukherjee	FlexiRand: Output Private (Distributed) VRFs and Application to Blockchains.	CCS	2023	DBLP DOI BibTeX RDF
29	Zhonghui Ge, Jiayuan Gu, Chenke Wang, Yu Long 0001, Xian Xu 0001, Dawu Gu	Accio: Variable-Amount, Optimized-Unlinkable and NIZK-Free Off-Chain Payments via Hubs.	CCS	2023	DBLP DOI BibTeX RDF
29	Johan Lokna, Anouk Paradis, Dimitar I. Dimitrov, Martin T. Vechev	Group and Attack: Auditing Differential Privacy.	CCS	2023	DBLP DOI BibTeX RDF
29	Johannes Lohmöller, Eduard Vlad, Markus Dahlmanns, Klaus Wehrle	Poster: Bridging Trust Gaps: Data Usage Transparency in Federated Data Ecosystems.	CCS	2023	DBLP DOI BibTeX RDF
29	Song Bian 0001, Zhou Zhang 0016, Haowen Pan, Ran Mao, Zian Zhao, Yier Jin, Zhenyu Guan	HE3DB: An Efficient and Elastic Encrypted Database Via Arithmetic-And-Logic Fully Homomorphic Encryption.	CCS	2023	DBLP DOI BibTeX RDF
29	Weijie Wang, Yujie Lu, Charalampos Papamanthou, Fan Zhang 0022	The Locality of Memory Checking.	CCS	2023	DBLP DOI BibTeX RDF
29	Marc Fischlin	Stealth Key Exchange and Confined Access to the Record Protocol Data in TLS 1.3.	CCS	2023	DBLP DOI BibTeX RDF
29	Chuanqi Xu, Jessie Chen, Allen Mi, Jakub Szefer	Securing NISQ Quantum Computer Reset Operations Against Higher Energy State Attacks.	CCS	2023	DBLP DOI BibTeX RDF
29	Mujtahid Akon, Tianchang Yang, Yilu Dong, Syed Rafiul Hussain	Formal Analysis of Access Control Mechanism of 5G Core Network.	CCS	2023	DBLP DOI BibTeX RDF
29	Sanjam Garg, Aarushi Goel, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Guru-Vamsi Policharla, Mingyuan Wang 0001	Experimenting with Zero-Knowledge Proofs of Training.	CCS	2023	DBLP DOI BibTeX RDF
29	Andrei Tonkikh, Pavel Ponomarev, Petr Kuznetsov, Yvonne-Anne Pignolet	CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts.	CCS	2023	DBLP DOI BibTeX RDF
29	Chongzhou Fang, Ning Miao, Han Wang, Jiacheng Zhou, Tyler Sheaves, John Marty Emmert, Avesta Sasan, Houman Homayoun	Gotcha! I Know What You Are Doing on the FPGA Cloud: Fingerprinting Co-Located Cloud FPGA Accelerators via Measuring Communication Links.	CCS	2023	DBLP DOI BibTeX RDF
29	Seongkwang Kim, Jincheol Ha, Mincheol Son, ByeongHak Lee, Dukjae Moon, Joohee Lee, Sangyub Lee 0002, Jihoon Kwon, Jihoon Cho, Hyojin Yoon, Jooyoung Lee 0001	AIM: Symmetric Primitive for Shorter Signatures with Stronger Security.	CCS	2023	DBLP DOI BibTeX RDF
29	Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, Lingxiao Jiang	KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.	CCS	2023	DBLP DOI BibTeX RDF
29	Yi Zhu, Chenglin Miao, Hongfei Xue, Zhengxiong Li, Yunnan Yu, Wenyao Xu, Lu Su, Chunming Qiao	TileMask: A Passive-Reflection-based Attack against mmWave Radar Object Detection in Autonomous Driving.	CCS	2023	DBLP DOI BibTeX RDF
29	David G. Balash, Mir Masood Ali, Monica Kodwani, Xiaoyuan Wu, Chris Kanich, Adam J. Aviv	Poster: Longitudinal Measurement of the Adoption Dynamics in Apple's Privacy Label Ecosystem.	CCS	2023	DBLP DOI BibTeX RDF
29	Rachit Garg 0001, George Lu, Brent Waters, David J. Wu 0001	Realizing Flexible Broadcast Encryption: How to Broadcast to a Public-Key Directory.	CCS	2023	DBLP DOI BibTeX RDF
29	Julia Kastner, Julian Loss, Omar Renawi	Concurrent Security of Anonymous Credentials Light, Revisited.	CCS	2023	DBLP DOI BibTeX RDF
29	Tinhinane Medjkoune, Oana Goga, Juliette Senechal	Marketing to Children Through Online Targeted Advertising: Targeting Mechanisms and Legal Aspects.	CCS	2023	DBLP DOI BibTeX RDF
29	Zongjie Li, Chaozheng Wang, Shuai Wang 0011, Cuiyun Gao	Protecting Intellectual Property of Large Language Model-Based Code Generation APIs via Watermarks.	CCS	2023	DBLP DOI BibTeX RDF
29	Shaoor Munir, Sandra Siby, Umar Iqbal 0002, Steven Englehardt, Zubair Shafiq, Carmela Troncoso	CookieGraph: Understanding and Detecting First-Party Tracking Cookies.	CCS	2023	DBLP DOI BibTeX RDF
29	Rudolf Siegel, Rafael Mrowczynski, Maria Hellenthal, Michael Schilling 0001	Poster: From Hashes to Ashes - A Comparison of Transcription Services.	CCS	2023	DBLP DOI BibTeX RDF
29	Erkan Tairi, Pedro Moreno-Sanchez, Clara Schneidewind	LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures.	CCS	2023	DBLP DOI BibTeX RDF
29	Marcela S. Melara, Santiago Torres-Arias, Laurent Simon	SCORED '23: Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses.	CCS	2023	DBLP DOI BibTeX RDF
29	Ziming Zhao 0008, Zhaoxuan Li, Tingting Li, Zhuoxue Song, Fan Zhang 0010, Rui Zhang 0016	Poster: Detecting Adversarial Examples Hidden under Watermark Perturbation via Usable Information Theory.	CCS	2023	DBLP DOI BibTeX RDF
29	Niklas Niere, Sven Hebrok, Juraj Somorovsky, Robert Merget	Poster: Circumventing the GFW with TLS Record Fragmentation.	CCS	2023	DBLP DOI BibTeX RDF
29	Martin Unterguggenberger, David Schrammel, Lukas Lamster, Pascal Nasahl, Stefan Mangard	Cryptographically Enforced Memory Safety.	CCS	2023	DBLP DOI BibTeX RDF
29	Hattan Althebeiti, Brett Fazio, William Chen, David Mohaisen	Poster: Mujaz: A Summarization-based Approach for Normalized Vulnerability Description.	CCS	2023	DBLP DOI BibTeX RDF
29	Mohammad Ghasemisharif, Jason Polakis	Read Between the Lines: Detecting Tracking JavaScript with Bytecode Classification.	CCS	2023	DBLP DOI BibTeX RDF
29	Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin	Security Verification of Low-Trust Architectures.	CCS	2023	DBLP DOI BibTeX RDF
29	Wentao Dong, Cong Wang 0001	Poster: Towards Lightweight TEE-Assisted MPC.	CCS	2023	DBLP DOI BibTeX RDF
29	Yue Xu, Wenjie Wang	Demo: Certified Robustness on Toolformer.	CCS	2023	DBLP DOI BibTeX RDF
29	Suman Maiti, Anjana Balabhaskara, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey	Targeted Attack Synthesis for Smart Grid Vulnerability Analysis.	CCS	2023	DBLP DOI BibTeX RDF
29	Yiting Qu, Xinyue Shen, Xinlei He, Michael Backes 0001, Savvas Zannettou, Yang Zhang 0016	Unsafe Diffusion: On the Generation of Unsafe Images and Hateful Memes From Text-To-Image Models.	CCS	2023	DBLP DOI BibTeX RDF
29	Suood Alroomi, Frank Li 0001	Measuring Website Password Creation Policies At Scale.	CCS	2023	DBLP DOI BibTeX RDF
29	Keegan Ryan, Kaiwen He, George Arnold Sullivan, Nadia Heninger	Passive SSH Key Compromise via Lattices.	CCS	2023	DBLP DOI BibTeX RDF
29	Zihao Wang, Jiale Guan, XiaoFeng Wang 0001, Wenhao Wang 0001, Luyi Xing, Fares Alharbi	The Danger of Minimum Exposures: Understanding Cross-App Information Leaks on iOS through Multi-Side-Channel Learning.	CCS	2023	DBLP DOI BibTeX RDF
29	Ziyi Lin, Jinku Li, Bowen Li, Haoyu Ma, Debin Gao, Jianfeng Ma 0001	TypeSqueezer: When Static Recovery of Function Signatures for Binary Executables Meets Dynamic Analysis.	CCS	2023	DBLP DOI BibTeX RDF
29	Vibha Belavadi, Yan Zhou 0001, Murat Kantarcioglu, Bhavani Thuraisingham	Attack Some while Protecting Others: Selective Attack Strategies for Attacking and Protecting Multiple Concepts.	CCS	2023	DBLP DOI BibTeX RDF
29	Depeng Chen, Xiao Liu, Jie Cui 0004, Hong Zhong 0001	Poster: Membership Inference Attacks via Contrastive Learning.	CCS	2023	DBLP DOI BibTeX RDF
29	Zilun Wang, Wei Meng 0001, Michael R. Lyu	Fine-Grained Data-Centric Content Protection Policy for Web Applications.	CCS	2023	DBLP DOI BibTeX RDF
29	Ali Naseh, Kalpesh Krishna, Mohit Iyyer, Amir Houmansadr	Stealing the Decoding Algorithms of Language Models.	CCS	2023	DBLP DOI BibTeX RDF
29	Bart P. Knijnenburg, Panagiotis Papadimitratos	WPES '23: 22nd Workshop on Privacy in the Electronic Society.	CCS	2023	DBLP DOI BibTeX RDF
29	Ehud Aharoni, Nir Drucker, Hayim Shaul	Tutorial-HEPack4ML '23: Advanced HE Packing Methods with Applications to ML.	CCS	2023	DBLP DOI BibTeX RDF
29	Dominik Trevor Noß, Lukas Knittel, Christian Mainka, Marcus Niemietz, Jörg Schwenk	Finding All Cross-Site Needles in the DOM Stack: A Comprehensive Methodology for the Automatic XS-Leak Detection in Web Browsers.	CCS	2023	DBLP DOI BibTeX RDF
29	Sylvain Chatel, Christian Mouchet, Ali Utkan Sahin, Apostolos Pyrgelis, Carmela Troncoso, Jean-Pierre Hubaux	PELTA - Shielding Multiparty-FHE against Malicious Adversaries.	CCS	2023	DBLP DOI BibTeX RDF
29	Marc Fischlin, Felix Günther 0001	Verifiable Verification in Cryptographic Protocols.	CCS	2023	DBLP DOI BibTeX RDF
29	Sajin Sasy, Aaron Johnson 0001, Ian Goldberg	Waks-On/Waks-Off: Fast Oblivious Offline/Online Shuffling and Sorting with Waksman Networks.	CCS	2023	DBLP DOI BibTeX RDF
29	Kevin Li, Zhaohui Wang, Ye Wang, Bo Luo, Fengjun Li	Poster: Ethics of Computer Security and Privacy Research - Trends and Standards from a Data Perspective.	CCS	2023	DBLP DOI BibTeX RDF
29	Bowen He, Yuan Chen, Zhuo Chen, Xiaohui Hu, Yufeng Hu, Lei Wu 0012, Rui Chang, Haoyu Wang 0001, Yajin Zhou	TxPhishScope: Towards Detecting and Understanding Transaction-based Phishing on Ethereum.	CCS	2023	DBLP DOI BibTeX RDF
29	Jinwen Wang, Yujie Wang, Ning Zhang 0017	Secure and Timely GPU Execution in Cyber-physical Systems.	CCS	2023	DBLP DOI BibTeX RDF
29	Anhao Xiang, Weiping Pei, Chuan Yue	PolicyChecker: Analyzing the GDPR Completeness of Mobile Apps' Privacy Policies.	CCS	2023	DBLP DOI BibTeX RDF
29	Ryan Feng, Ashish Hooda, Neal Mangaokar, Kassem Fawaz, Somesh Jha, Atul Prakash 0001	Stateful Defenses for Machine Learning Models Are Not Yet Secure Against Black-box Attacks.	CCS	2023	DBLP DOI BibTeX RDF
29	Samuel Dittmer, Karim Eldefrawy, Stéphane Graham-Lengrand, Steve Lu 0001, Rafail Ostrovsky, Vitor Pereira 0002	Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.	CCS	2023	DBLP DOI BibTeX RDF
29	Jakob Burkhardt, Ivan Damgård, Tore Kasper Frederiksen, Satrajit Ghosh, Claudio Orlandi	Improved Distributed RSA Key Generation Using the Miller-Rabin Test.	CCS	2023	DBLP DOI BibTeX RDF
29	Jing Xu, Stjepan Picek	Poster: Multi-target & Multi-trigger Backdoor Attacks on Graph Neural Networks.	CCS	2023	DBLP DOI BibTeX RDF
29	Song Liao, Long Cheng 0005, Haipeng Cai, Linke Guo, Hongxin Hu	SkillScanner: Detecting Policy-Violating Voice Applications Through Static Analysis at the Development Phase.	CCS	2023	DBLP DOI BibTeX RDF
29	Christian van Sloun, Klaus Wehrle	Poster: Vulcan - Repurposing Accessibility Features for Behavior-based Intrusion Detection Dataset Generation.	CCS	2023	DBLP DOI BibTeX RDF
29	Atsuki Momose, Sourav Das, Ling Ren 0001	On the Security of KZG Commitment for VSS.	CCS	2023	DBLP DOI BibTeX RDF
29	Easwar Vivek Mangipudi, Udit Desai, Mohsen Minaei, Mainack Mondal, Aniket Kate	Uncovering Impact of Mental Models towards Adoption of Multi-device Crypto-Wallets.	CCS	2023	DBLP DOI BibTeX RDF
29	Yi Zeng 0005, Minzhou Pan, Hoang Anh Just, Lingjuan Lyu, Meikang Qiu, Ruoxi Jia 0001	Narcissus: A Practical Clean-Label Backdoor Attack with Limited Information.	CCS	2023	DBLP DOI BibTeX RDF
29	Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying	Detecting Violations of Differential Privacy for Quantum Algorithms.	CCS	2023	DBLP DOI BibTeX RDF
29	Jan H. Klemmer, Marco Gutfleisch, Christian Stransky, Yasemin Acar, M. Angela Sasse, Sascha Fahl	"Make Them Change it Every Week!": A Qualitative Exploration of Online Developer Advice on Usable and Secure Authentication.	CCS	2023	DBLP DOI BibTeX RDF
29	Lennart Braun, Mahak Pancholi, Rahul Rachuri, Mark Simkin 0001	Ramen: Souper Fast Three-Party Computation for RAM Programs.	CCS	2023	DBLP DOI BibTeX RDF
29	Zhiyuan Yu, Shixuan Zhai, Ning Zhang 0017	AntiFake: Using Adversarial Audio to Prevent Unauthorized Speech Synthesis.	CCS	2023	DBLP DOI BibTeX RDF
29	Roman Matzutt, Jan Pennekamp, Klaus Wehrle	Poster: Accountable Processing of Reported Street Problems.	CCS	2023	DBLP DOI BibTeX RDF
29	Yue Zhang 0025, Yuqing Yang 0003, Zhiqiang Lin	Don't Leak Your Keys: Understanding, Measuring, and Exploiting the AppSecret Leaks in Mini-Programs.	CCS	2023	DBLP DOI BibTeX RDF
29	Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang 0001	Lifting Network Protocol Implementation to Precise Format Specification with Security Applications.	CCS	2023	DBLP DOI BibTeX RDF
29	Feng-Hao Liu, En Zhang, Leiyong Qin	Efficient Multiparty Probabilistic Threshold Private Set Intersection.	CCS	2023	DBLP DOI BibTeX RDF
29	Ari Biswas, Graham Cormode	Interactive Proofs For Differentially Private Counting.	CCS	2023	DBLP DOI BibTeX RDF
29	Xiaochen Zhu 0003, Vincent Y. F. Tan, Xiaokui Xiao	Blink: Link Local Differential Privacy in Graph Neural Networks via Bayesian Estimation.	CCS	2023	DBLP DOI BibTeX RDF
29	Shae McFadden, Zeliang Kan, Lorenzo Cavallaro, Fabio Pierazzi	Poster: RPAL-Recovering Malware Classifiers from Data Poisoning using Active Learning.	CCS	2023	DBLP DOI BibTeX RDF
29	Cláudio Correia, Miguel Correia 0001, Luís E. T. Rodrigues	Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge.	CCS	2023	DBLP DOI BibTeX RDF
29	Tianfang Zhang, Zhengkun Ye, Ahmed Tanvir Mahdad, Md Mojibur Rahman Redoy Akanda, Cong Shi 0004, Yan Wang 0003, Nitesh Saxena, Yingying Chen 0001	FaceReader: Unobtrusively Mining Vital Signs and Vital Sign Embedded Sensitive Info via AR/VR Motion Sensors.	CCS	2023	DBLP DOI BibTeX RDF
29	Xiaoyun Xu, Stjepan Picek	Poster: Boosting Adversarial Robustness by Adversarial Pre-training.	CCS	2023	DBLP DOI BibTeX RDF
29	Dominic Gold, Koray Karabina, Francis C. Motta	Poster: Computing the Persistent Homology of Encrypted Data.	CCS	2023	DBLP DOI BibTeX RDF
29	Zhaoxin Jin, Tianbo Lu, Shuang Luo, Jiaze Shang	Transformer-based Model for Multi-tab Website Fingerprinting Attack.	CCS	2023	DBLP DOI BibTeX RDF
29	Antonio de la Piedra, Marloes Venema, Greg Alpár	ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra.	CCS	2023	DBLP DOI BibTeX RDF
29	Enes Altinisik, Fatih Deniz, Hüsrev Taha Sencar	ProvG-Searcher: A Graph Representation Learning Approach for Efficient Provenance Graph Search.	CCS	2023	DBLP DOI BibTeX RDF