|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1522 occurrences of 848 keywords
|
|
|
Results
Found 5891 publication records. Showing 5890 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 5890 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|