• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 44 matches

• 2024
• 
  Arian Baloochestani, Hanish Gogada, Leander Jehl, Hein Meling:
  Iniva: Inclusive and Incentive-Compatible Vote Aggregation. DSN 2024: 443-455
• 
  Akhil Bandarupalli, Adithya Bhat, Saurabh Bagchi, Aniket Kate, Chen-Da Liu-Zhang, Michael K. Reiter:
  Delphi: Efficient Asynchronous Approximate Agreement for Distributed Oracles. DSN 2024: 456-469
• 
  Marco Barletta, Marcello Cinque, Catello Di Martino, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer:
  Mutiny! How Does Kubernetes Fail, and What Can We Do About It? DSN 2024: 1-14
• 
  Jason Blocklove, Md Raz, Prithwish Basu Roy, Hammond Pearce, Prashanth Krishnamurthy, Farshad Khorrami, Ramesh Karri:
  Offramps: An FPGA-Based Intermediary for Analysis and Modification of Additive Manufacturing Control Systems. DSN 2024: 535-543
• 
  Yang Chen, Shengzhi Zhang, Xiaoqi Jia, Qihang Zhou, Heqing Huang, Shaowen Xu, Haochao Du:
  SEDSpec: Securing Emulated Devices by Enforcing Execution Specification. DSN 2024: 522-534
• 
  Shengkun Cui, Saurabh Jha, Ziheng Chen, Zbigniew T. Kalbarczvk, Ravishankar K. Iyer:
  iPrism: Characterize and Mitigate Risk by Quantifying Change in Escape Routes. DSN 2024: 142-155
• 
  Jean-Baptiste Decourcelle, Boris Teabe, Daniel Hagimont:
  JITBULL: Securing JavaScript Runtime with a Go/No-Go Policy for JIT Engine. DSN 2024: 156-168
• 
  Isaac Doidge, Raghavendra Ramesh, Nibesh Shrestha, Joshua Tobkin:
  Moonshot: Optimizing Block Period and Commit Latency in Chain-Based Rotating Leader BFT. DSN 2024: 470-482
• 
  Song Gao, Bohua Zhan, Zhilin Wu, Lijun Zhang:
  Verifying Randomized Consensus Protocols with Common Coins. DSN 2024: 403-415
• 
  Vincent Gramoli, Zhenliang Lu, Qiang Tang, Pouriya Zarbafian:
  AOAB: Optimal and Fair Ordering of Financial Transactions. DSN 2024: 377-388
• 
  Xuhang Gu, Qingyang Wang, Jianshu Liu, Jinpeng Wei:
  Grunt Attack: Exploiting Execution Dependencies in Microservices. DSN 2024: 115-128
• 
  Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba:
  SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks. DSN 2024: 483-494
• 
  Kim Hammar, Rolf Stadler:
  Intrusion Tolerance for Networked Systems through Two-Level Feedback Control. DSN 2024: 338-352
• 
  Zhengyang He, Hui Xu, Guanpeng Li:
  A Fast Low-Level Error Detection Technique. DSN 2024: 90-98
• 
  Adriaan Jacobs, Merve Gülmez, Alicia Andries, Stijn Volckaert, Alexios Voulimeneas:
  System Call Interposition Without Compromise. DSN 2024: 183-194
• 
  Alvi Ataur Khalil, Mohammad Ashiqur Rahman:
  PAROLE: Profitable Arbitrage in Optimistic Rollup with ERC-721 Token Transactions. DSN 2024: 129-141
• 
  Anamta Khan, Naghmeh Ivaki, Henrique Madeira:
  A Comprehensive Study on Drones Resilience in the Presence of Inertial Measurement Unit Faults. DSN 2024: 316-323
• 
  Hong-Wei Li, Ping-Ting Liu, Bo-Wei Lin, Yi-Chun Liao, Yennun Huang:
  IPMES: A Tool for Incremental TTP Detection Over the System Audit Event Stream. DSN 2024: 265-273
• 
  Jinghui Liao, Borui Gong, Wenhai Sun, Fengwei Zhang, Zhenyu Ning, Man Ho Au, Weisong Shi:
  BFTRAND: Low-Latency Random Number Provider for BFT Smart Contracts. DSN 2024: 389-402
• 
  Mingxuan Liu, Zhenglong Jin, Jiahai Yang, Baoiun Liu, Haixin Duan, Ying Liu, Ximeng Liu, Shujun Tang:
  ChatScam: Unveiling the Rising Impact of ChatGPT on Domain Name Abuse. DSN 2024: 507-521
• 
  Xiaoxuan Lou, Kangjie Chen, Guowen Xu, Han Qiu, Shangwei Guo, Tianwei Zhang:
  Protecting Confidential Virtual Machines from Hardware Performance Counter Side Channels. DSN 2024: 195-208
• 
  Sudip Maitra, Tolga O. Atalay, Angelos Stavrou, Haining Wang:
  Towards Shielding 5G Control Plane Functions. DSN 2024: 302-315
• 
  Marina Minkin, Baris Kasikci:
  ZipChannel: Cache Side-Channel Vulnerabilities in Compression Algorithms. DSN 2024: 223-237
• 
  Nhu Long Nguyen, Nickolas J. G. Falkner, Hung X. Nguyen:
  ADSynth: Synthesizing Realistic Active Directory Attack Graphs. DSN 2024: 66-74
• 
  Zifeng Niu, Manuel Roveri, Giuliano Casale:
  ChainNet: A Customized Graph Neural Network Model for Loss-Aware Edge AI Service Deployment. DSN 2024: 238-251
• 
  Ataberk Olgun, Majd Osseiran, A. Giray Yaglikçi, Yahya Can Tugrul, Haocong Luo, Steve Rhyner, Behzad Salami, Juan Gómez-Luna, Onur Mutlu:
  Read Disturbance in High Bandwidth Memory: A Detailed Experimental Study on HBM2 DRAM Chips. DSN 2024: 75-89
• 
  Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni:
  Byzantine Attacks Exploiting Penalties in Ethereum PoS. DSN 2024: 53-65
• 
  Alejandro Ranchal-Pedrosa, Vincent Gramoli:
  ZLB: A Blockchain to Tolerate Colluding Majorities. DSN 2024: 209-222
• 
  Juan-Carlos Ruiz-Garcia, Homa Alemzadeh, Jean-Charles Fabre, Jiangshan Yu, Sy-Yen Kuo, Elias P. Duarte:
  Test of Time Award; DSN 2024. DSN 2024: xxvi
• 
  Dimitrios Stavrakakis, Alexandrina Panfil, MJin Nam, Pramod Bhatotia:
  SPP: Safe Persistent Pointers for Memory Safety. DSN 2024: 37-52

skipping 14 more matches