Search results for "CCS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	M. Jamshid Bagherzadeh, S. Arun-Kumar	A Multi-agent Framework Based on Communication and Concurrency.	IWDC	2004	DBLP DOI BibTeX RDF	Multi-agent systems, Model checking, Verification, CCS, CTL
30	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Synchronous Message-Passing Programs.	PDSE	1999	DBLP DOI BibTeX RDF	LTS, Deadlock, CCS, Observational Equivalence
30	Graham Hutton	Fold and Unfold for Program Semantics.	ICFP	1998	DBLP DOI BibTeX RDF	CCS
30	Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra	Analyzing the logical structure of data flow diagrams in software documents.	ICDAR	1995	DBLP DOI BibTeX RDF	logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram
30	Omar Cherkaoui	Specification and Analysis of a Security Management System.	FME	1994	DBLP DOI BibTeX RDF	Key-words Security management, Model-checking, Verification, Formal methods, Synthesis, Process algebra, Modal logic, CCS
30	Peter Aczel	Final Universes of Processes.	MFPS	1993	DBLP DOI BibTeX RDF	Final Universe, Process, CSP, Labelled, Transition System, CCS, Coalgebra
30	Gérard Berry, Gérard Boudol	The Chemical Abstract Machine.	POPL	1990	DBLP DOI BibTeX RDF	CCS
30	Ernst-Rüdiger Olderog	From Trace Specifications to Process Terms.	REX Workshop	1989	DBLP DOI BibTeX RDF	COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes
30	Ernst-Rüdiger Olderog	Strong bisimilarity on nets: a new concept for comparing net semantics.	REX Workshop	1988	DBLP DOI BibTeX RDF	Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness
30	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Partial orderings descriptions and observations of nondeterministic concurrent processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages
29	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS (1)	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
29	Adam Kapralski	Fast massively parallel algorithms for shortest path within planar figures.	Vis. Comput.	1996	DBLP DOI BibTeX RDF	Depth search machines, n -CCS, Near edge, Parallel algorithms, Distributed algorithms, Shortest path
29	Garth Baulch, David Hemmendinger, Cherrice Traver	Analyzing and verifying locally clocked circuits with the concurrency workbench.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	locally clocked circuits, concurrency workbench, synchronous computational elements, concurrent system modelling, CCS process algebra, formal verification, timing, logic design, process algebra, logic CAD, asynchronous circuits, asynchronous circuits, circuit analysis computing, asynchronous communication
29	Wael M. Elseaidy, Rance Cleaveland	A tool for modeling and verifying real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time systems verification, verification environment, graphical design la, Modechart, textually based language, Temporal CCS, system minimization, active structural control systems, real-time systems, formal verification, software tools, visual languages, equivalence checking, modeling tool
29	Boris G. Mirkin, Susana Nascimento, Luís Moniz Pereira	Cluster-Lift Method for Mapping Research Activities over a Concept Tree.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF	Cluster-lift method, additive clustering, concept generalization, knowledge transmutation, concept tree
29	Jie Zhou, Yixiang Chen	Modeling Instability in a New Framework of Interval Valued Process Algebra.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
29	Bogdan F. Romanescu, Daniel J. Sorin	Core cannibalization architecture: improving lifetime chip performance for multicore processors in the presence of hard faults.	PACT	2008	DBLP DOI BibTeX RDF	lifetime performance, fault tolerance, reliability, multicore
29	Mirco Speretta, Susan Gauch, Praveen Lakkaraju	Computer classification system usage in citeseer.	JCDL	2008	DBLP DOI BibTeX RDF	digital library, trend analysis, classification system
29	Takaaki Ishida, Masayoshi Imaike	Content Cruising System under Dense Region of Mobile Nodes.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
29	Amotz Bar-Noy, Zohar Naor	Efficient multicast search under delay and bandwidth constraints.	Wirel. Networks	2006	DBLP DOI BibTeX RDF	Mobile computing Wireless networks, Multicast search, Location management, Conference call
29	Frank Chism, Jeremy Enos	Software tools II - Running a Top-500 benchmark on a windows compute cluster server cluster.	SC	2006	DBLP DOI BibTeX RDF
29	Jifeng He 0001, C. A. R. Hoare	Linking Theories of Concurrency.	ICTAC	2005	DBLP DOI BibTeX RDF
29	Xavier Llorà, Kumara Sastry, David E. Goldberg	The compact classifier system: motivation, analysis, and first results.	GECCO	2005	DBLP DOI BibTeX RDF	compact classifier system, maximally general classifiers, spawning and merging populations, learning classifier systems
29	Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof	Stuck-Free Conformance.	CAV	2004	DBLP DOI BibTeX RDF
29	Óscar Cánovas Reverte, Gabriel López 0001, Antonio Fernandez Gómez-Skarmeta	A Credential Conversion Service for SAML-based Scenarios.	EuroPKI	2004	DBLP DOI BibTeX RDF
29	Takaaki Ishida, Shinichi Hisamatsu, Kenji Saito, Masaki Minami, Jun Murai	Content Cruising System under Sparse Movements of Nodes.	SAINT Workshops	2004	DBLP DOI BibTeX RDF
29	Wenbo Mao	A Structured Operational Modelling of the Dolev-Yao Threat Model.	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
29	Dimitrios Kagaris, Spyros Tragoudas	Embedded cores using built-in mechanisms.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
29	Holger Hermanns, Markus Lohrey	Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
29	Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen	A Universal Reactive Machine.	CONCUR	1997	DBLP DOI BibTeX RDF
29	Flavio Corradini, Marco Pistore	Specification and Verification of Timed Lazy Systems.	MFCS	1996	DBLP DOI BibTeX RDF
29	Jens Chr. Godskesen, Kim Guldstrand Larsen	Real-Time Calculi and Expansion Theorems.	FSTTCS	1992	DBLP DOI BibTeX RDF
29	Ivan Christoff	A Method for Verification of Trace and Test Equivalence.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
29	Weizhi Meng 0001, Christian Damsgaard Jensen, Cas Cremers, Engin Kirda (eds.)	Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023	CCS	2023	DBLP DOI BibTeX RDF
29	Torsten Krauß, Alexandra Dmitrienko	MESAS: Poisoning Defense for Federated Learning Resilient against Adaptive Attackers.	CCS	2023	DBLP DOI BibTeX RDF
29	Kelong Cong, Debajyoti Das 0001, Georgio Nicolas, Jeongeun Park 0001	Poster: Panacea - Stateless and Non-Interactive Oblivious RAM.	CCS	2023	DBLP DOI BibTeX RDF
29	Gyungeun Yun, Kyungho Joo, Wonsuk Choi, Dong Hoon Lee 0001	Poster: Unveiling the Impact of Patch Placement: Adversarial Patch Attacks on Monocular Depth Estimation.	CCS	2023	DBLP DOI BibTeX RDF
29	Mohammad M. Ahmadpanah, Daniel Hedin, Andrei Sabelfeld	Poster: Data Minimization by Construction for Trigger-Action Applications.	CCS	2023	DBLP DOI BibTeX RDF
29	Liu Liu, Xinwen Fu, Xiaodong Chen, Jianpeng Wang, Zhongjie Ba, Feng Lin 0004, Li Lu 0008, Kui Ren 0001	FITS: Matching Camera Fingerprints Subject to Software Noise Pollution.	CCS	2023	DBLP DOI BibTeX RDF
29	Cong Shi 0004, Tianfang Zhang, Zhaoyi Xu, Shuping Li, Donglin Gao, Changming Li, Athina P. Petropulu, Chung-Tse Michael Wu, Yingying Chen 0001	Privacy Leakage via Speech-induced Vibrations on Room Objects through Remote Sensing based on Phased-MIMO.	CCS	2023	DBLP DOI BibTeX RDF
29	Minxin Du, Xiang Yue, Sherman S. M. Chow, Tianhao Wang 0001, Chenyu Huang, Huan Sun 0001	DP-Forward: Fine-tuning and Inference on Language Models with Differential Privacy in Forward Pass.	CCS	2023	DBLP DOI BibTeX RDF
29	Jakob Feldtkeller, Tim Güneysu, Thorben Moos, Jan Richter-Brockmann, Sayandeep Saha, Pascal Sasdrich, François-Xavier Standaert	Combined Private Circuits - Combined Security Refurbished.	CCS	2023	DBLP DOI BibTeX RDF
29	Gowri R. Chandran, Philipp-Florens Lehwalder, Leandro Rometsch, Thomas Schneider 0003	Poster: Secure and Differentially Private kth Ranked Element.	CCS	2023	DBLP DOI BibTeX RDF
29	Borja Balle, James Bell 0001, Adrià Gascón	Amplification by Shuffling without Shuffling.	CCS	2023	DBLP DOI BibTeX RDF
29	Xin Tan, Yuan Zhang 0009, Jiadong Lu, Xin Xiong, Zhuang Liu, Min Yang 0002	SyzDirect: Directed Greybox Fuzzing for Linux Kernel.	CCS	2023	DBLP DOI BibTeX RDF
29	Joël Alwen, Dominik Hartmann, Eike Kiltz, Marta Mularczyk, Peter Schwabe	Post-Quantum Multi-Recipient Public Key Encryption.	CCS	2023	DBLP DOI BibTeX RDF
29	Zhi Li 0048, Weijie Liu 0004, XiaoFeng Wang 0001, Bin Yuan, Hongliang Tian, Hai Jin 0001, Shoumeng Yan	Lost along the Way: Understanding and Mitigating Path-Misresolution Threats to Container Isolation.	CCS	2023	DBLP DOI BibTeX RDF
29	Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde	Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions.	CCS	2023	DBLP DOI BibTeX RDF
29	Maryam Mustafa, Abdul Moeed Asad, Shehrbano Hassan, Urooj Haider, Zainab Durrani, Katharina Krombholz	Pakistani Teens and Privacy - How Gender Disparities, Religion and Family Values Impact the Privacy Design Space.	CCS	2023	DBLP DOI BibTeX RDF
29	Yan He, Qiuye He, Song Fang, Yao Liu 0007	When Free Tier Becomes Free to Enter: A Non-Intrusive Way to Identify Security Cameras with no Cloud Subscription.	CCS	2023	DBLP DOI BibTeX RDF
29	David Klein, Benny Rolle, Thomas Barber, Manuel Karl, Martin Johns	General Data Protection Runtime: Enforcing Transparent GDPR Compliance for Existing Applications.	CCS	2023	DBLP DOI BibTeX RDF
29	Sylvain Chatel, Christian Knabenhans, Apostolos Pyrgelis, Carmela Troncoso, Jean-Pierre Hubaux	Poster: Verifiable Encodings for Maliciously-Secure Homomorphic Encryption Evaluation.	CCS	2023	DBLP DOI BibTeX RDF
29	Betül Askin Özdemir, Tim Beyne	Poster: Generic Multidimensional Linear Cryptanalysis of Feistel Ciphers.	CCS	2023	DBLP DOI BibTeX RDF
29	Omid Mir, Balthazar Bauer, Scott Griffy, Anna Lysyanskaya, Daniel Slamanig	Aggregate Signatures with Versatile Randomization and Issuer-Hiding Multi-Authority Anonymous Credentials.	CCS	2023	DBLP DOI BibTeX RDF
29	Yuanpeng Wang, Ziqi Zhang, Ningyu He, Zhineng Zhong, Shengjian Guo, Qinkun Bao, Ding Li 0001, Yao Guo 0001, Xiangqun Chen	SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution.	CCS	2023	DBLP DOI BibTeX RDF
29	Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke 0001, Marco Guarnieri	Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts.	CCS	2023	DBLP DOI BibTeX RDF
29	Mario Yaksetig, Alexander Havlin	Poster: Signer Discretion is Advised: On the Insecurity of Vitalik's Threshold Hash-based Signatures.	CCS	2023	DBLP DOI BibTeX RDF
29	Peiyao Sheng, Xuechao Wang, Sreeram Kannan, Kartik Nayak, Pramod Viswanath	TrustBoost: Boosting Trust among Interoperable Blockchains.	CCS	2023	DBLP DOI BibTeX RDF
29	Yuechun Gu, Sagar Sharma, Keke Chen	Demo: Image Disguising for Scalable GPU-accelerated Confidential Deep Learning.	CCS	2023	DBLP DOI BibTeX RDF
29	Renas Bacho, Julian Loss	Adaptively Secure (Aggregatable) PVSS and Application to Distributed Randomness Beacons.	CCS	2023	DBLP DOI BibTeX RDF
29	Tao Ni 0003, Xiaokuan Zhang, Qingchuan Zhao	Recovering Fingerprints from In-Display Fingerprint Sensors via Electromagnetic Side Channel.	CCS	2023	DBLP DOI BibTeX RDF
29	Xianbo Mo, Shunquan Tan, Bin Li 0011, Jiwu Huang	Poster: Query-efficient Black-box Attack for Image Forgery Localization via Reinforcement Learning.	CCS	2023	DBLP DOI BibTeX RDF
29	Dahlia Malkhi, Atsuki Momose, Ling Ren 0001	Towards Practical Sleepy BFT.	CCS	2023	DBLP DOI BibTeX RDF
29	Jan-Philip van Acken, Joost F. Gadellaa, Slinger Jansen, Katsiaryna Labunets	Poster: The Unknown Unknown: Cybersecurity Threats of Shadow IT in Higher Education.	CCS	2023	DBLP DOI BibTeX RDF
29	Nikita Yadav, Vinod Ganapathy	Whole-Program Control-Flow Path Attestation.	CCS	2023	DBLP DOI BibTeX RDF
29	Daniel Lammers, Amir Moradi 0001, Nicolai Müller, Aein Rezaei Shahmirzadi	A Thorough Evaluation of RAMBAM.	CCS	2023	DBLP DOI BibTeX RDF
29	Till Schlüter, Amit Choudhari, Lorenz Hetterich, Leon Trampert, Hamed Nemati, Ahmad Ibrahim 0002, Michael Schwarz 0001, Christian Rossow, Nils Ole Tippenhauer	FetchBench: Systematic Identification and Characterization of Proprietary Prefetchers.	CCS	2023	DBLP DOI BibTeX RDF
29	Sven Smolka, Jens-Rene Giesen, Pascal Winkler, Oussama Draissi, Lucas Davi, Ghassan Karame, Klaus Pohl	Fuzz on the Beach: Fuzzing Solana Smart Contracts.	CCS	2023	DBLP DOI BibTeX RDF
29	Chao Li 0023, Balaji Palanisamy, Runhua Xu, Li Duan, Jiqiang Liu, Wei Wang 0012	How Hard is Takeover in DPoS Blockchains? Understanding the Security of Coin-based Voting Governance.	CCS	2023	DBLP DOI BibTeX RDF
29	Gabrielle Beck, Aarushi Goel, Aditya Hegde 0003, Abhishek Jain 0002, Zhengzhong Jin, Gabriel Kaptchuk	Scalable Multiparty Garbling.	CCS	2023	DBLP DOI BibTeX RDF
29	Rutvik Choudhary, Alan Wang, Zirui Neil Zhao, Adam Morrison 0001, Christopher W. Fletcher	Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures.	CCS	2023	DBLP DOI BibTeX RDF
29	Rex Fernando, Arnab Roy 0013	Poster: WIP: Account ZK-Rollups from Sumcheck Arguments.	CCS	2023	DBLP DOI BibTeX RDF
29	Roman Beltiukov, Wenbo Guo 0002, Arpit Gupta, Walter Willinger	In Search of netUnicorn: A Data-Collection Platform to Develop Generalizable ML Models for Network Security Problems.	CCS	2023	DBLP DOI BibTeX RDF
29	Matthew Green 0001, Abhishek Jain 0002, Gijs Van Laer	Efficient Set Membership Encryption and Applications.	CCS	2023	DBLP DOI BibTeX RDF
29	Su Yang, Yang Xiao 0011, Zhengzi Xu, Chengyi Sun, Chen Ji, Yuqing Zhang 0001	Enhancing OSS Patch Backporting with Semantics.	CCS	2023	DBLP DOI BibTeX RDF
29	Qi Li, Zhuotao Liu, Qi Li 0002, Ke Xu 0002	martFL: Enabling Utility-Driven Data Marketplace with a Robust and Verifiable Federated Learning Architecture.	CCS	2023	DBLP DOI BibTeX RDF
29	Changqing Miao, Jianan Feng, Wei You, Wenchang Shi, Jianjun Huang 0001, Bin Liang 0002	A Good Fishman Knows All the Angles: A Critical Evaluation of Google's Phishing Page Classifier.	CCS	2023	DBLP DOI BibTeX RDF
29	Shijia Li, Jiang Ming 0002, Pengda Qiu, Qiyuan Chen, Lanqing Liu, Huaifeng Bao, Qiang Wang 0059, Chunfu Jia	PackGenome: Automatically Generating Robust YARA Rules for Accurate Malware Packer Detection.	CCS	2023	DBLP DOI BibTeX RDF
29	Alireza Bahramali, Ardavan Bozorgi, Amir Houmansadr	Realistic Website Fingerprinting By Augmenting Network Traces.	CCS	2023	DBLP DOI BibTeX RDF
29	Drew Zagieboylo, Charles Sherk, Andrew C. Myers, G. Edward Suh	SpecVerilog: Adapting Information Flow Control for Secure Speculation.	CCS	2023	DBLP DOI BibTeX RDF
29	Kyungho Joo, Dong Hoon Lee 0001, Yeonseon Jeong, Wonsuk Choi	Protecting HRP UWB Ranging System Against Distance Reduction Attacks.	CCS	2023	DBLP DOI BibTeX RDF
29	Chao Wang, Yue Zhang 0025, Zhiqiang Lin	Uncovering and Exploiting Hidden APIs in Mobile Super Apps.	CCS	2023	DBLP DOI BibTeX RDF
29	Ben Nassi, Ofek Vayner, Etay Iluz, Dudi Nassi, Jan Jancar, Daniel Genkin, Eran Tromer, Boris Zadov, Yuval Elovici	Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations.	CCS	2023	DBLP DOI BibTeX RDF
29	McKenna McCall, Abhishek Bichhawat, Limin Jia 0001	Tainted Secure Multi-Execution to Restrict Attacker Influence.	CCS	2023	DBLP DOI BibTeX RDF
29	Xiaohai Dai, Bolin Zhang, Hai Jin 0001, Ling Ren 0001	ParBFT: Faster Asynchronous BFT Consensus with a Parallel Optimistic Path.	CCS	2023	DBLP DOI BibTeX RDF
29	Sihang Pu, Sri Aravinda Krishnan Thyagarajan, Nico Döttling, Lucjan Hanzlik	Post Quantum Fuzzy Stealth Signatures and Applications.	CCS	2023	DBLP DOI BibTeX RDF
29	Zihao Li 0001, Jianfeng Li, Zheyuan He, Xiapu Luo, Ting Wang 0006, Xiaoze Ni, Wenwu Yang, Xi Chen, Ting Chen 0002	Demystifying DeFi MEV Activities in Flashbots Bundle.	CCS	2023	DBLP DOI BibTeX RDF
29	Maura Pintor, Florian Simon Tramèr, Xinyun Chen	AISec '23: 16th ACM Workshop on Artificial Intelligence and Security.	CCS	2023	DBLP DOI BibTeX RDF
29	Bailey Kacsmar, Vasisht Duddu, Kyle Tilbury, Blase Ur, Florian Kerschbaum	Comprehension from Chaos: Towards Informed Consent for Private Computation.	CCS	2023	DBLP DOI BibTeX RDF
29	Yiling He, Jian Lou 0001, Zhan Qin, Kui Ren 0001	FINER: Enhancing State-of-the-art Classifiers with Feature Attribution to Facilitate Security Analysis.	CCS	2023	DBLP DOI BibTeX RDF
29	Yibin Yang 0001, Stanislav Peceny, David Heath, Vladimir Kolesnikov	Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs).	CCS	2023	DBLP DOI BibTeX RDF
29	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001, Bishnu Bhusal	Deciding Differential Privacy of Online Algorithms with Multiple Variables.	CCS	2023	DBLP DOI BibTeX RDF
29	Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese	Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.	CCS	2023	DBLP DOI BibTeX RDF
29	Jeremy Rack, Cristian-Alexandru Staicu	Jack-in-the-box: An Empirical Study of JavaScript Bundling on the Web and its Security Implications.	CCS	2023	DBLP DOI BibTeX RDF
29	Ehud Aharoni, Nir Drucker, Gilad Ezov, Eyal Kushnir, Hayim Shaul, Omri Soceanu	Poster: Efficient AES-GCM Decryption Under Homomorphic Encryption.	CCS	2023	DBLP DOI BibTeX RDF
29	Savino Dambra, Yufei Han, Simone Aonzo, Platon Kotzias, Antonino Vitale, Juan Caballero, Davide Balzarotti, Leyla Bilge	Decoding the Secrets of Machine Learning in Malware Classification: A Deep Dive into Datasets, Feature Extraction, and Model Performance.	CCS	2023	DBLP DOI BibTeX RDF
29	Alexander Bienstock, Paul Rösler, Yi Tang	ASMesh: Anonymous and Secure Messaging in Mesh Networks Using Stronger, Anonymous Double Ratchet.	CCS	2023	DBLP DOI BibTeX RDF
29	Kaihua Qin, Fan Zhang 0022	DeFi '23: Workshop on Decentralized Finance and Security.	CCS	2023	DBLP DOI BibTeX RDF
29	Behrad Tajalli, Gorka Abad, Stjepan Picek	Poster: Backdoor Attack on Extreme Learning Machines.	CCS	2023	DBLP DOI BibTeX RDF
29	Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann	Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications.	CCS	2023	DBLP DOI BibTeX RDF