2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)最新文献_第6页

MILR: Mathematically Induced Layer Recovery for Plaintext Space Error Correction of CNNs 用于cnn明文空间纠错的数学诱导层恢复

2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Pub Date : 2020-10-28 DOI: 10.1109/DSN48987.2021.00024

Jonathan Ponader, S. Kundu, Yan Solihin

引用次数: 6

External Reviewers 审稿人

2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Pub Date : 2020-06-01 DOI: 10.1109/ANCS.2011.8

Agata Pólrola, A. Lafuente, Aleksandra Jovanovic, Alexander Heußner, Andreas Dahlin, A. Mokhov, A. Alekseyev, Artur Meski, Aurel Randolph, D. Sokolov, D. Lime, Dominic Wist, Egor Derevenetc, F. Tiezzi, F. Pommereau, Georgel Calin, G. Geeraerts, Hakima Ould-Slimane, H. Bruggink, Henning Kerstan, Henri Hansen, Hernán C. Melgratti, I. Poliakov, Jan Křetínský, J. Markovski, Jason Steggles, J. Keiren, J. Gabarró, Johan Ersfolk, J. Cortadella, Jori Dubrovin, L. Yoong, Lukasz Mikulski, Maciej Gazda, M. Koutny, M. Szreter, M. Lawford, M. Hendriks, Mathieu Sassolas, M. Knapik, M. Reniers, M. Loreti, Mike Gemünde, Mikko Tiusanen, N. Bertrand, N. Sznajder, Nikola Benes, O. Gaggi, P. Moreaux, Petr Bauch, Petr Ročkai, Reiner Hüchting, Ricardo J. Rodríguez, R. Sinha, Sandie Balaguer, Sidharta Andalam, Siert Wieringa, Simona Bernardi, S. Georgievska, Stanislavs Golubcovs, Stefan Göller, S. Haar, Stefan Schwoon, Tall Bremehr, T. Massart, T. Willemse, Vera Pantelic, Xiang Gan, Y. Thierry-Mieg, Zdenek Sawa

{"title":"External Reviewers","authors":"Agata Pólrola, A. Lafuente, Aleksandra Jovanovic, Alexander Heußner, Andreas Dahlin, A. Mokhov, A. Alekseyev, Artur Meski, Aurel Randolph, D. Sokolov, D. Lime, Dominic Wist, Egor Derevenetc, F. Tiezzi, F. Pommereau, Georgel Calin, G. Geeraerts, Hakima Ould-Slimane, H. Bruggink, Henning Kerstan, Henri Hansen, Hernán C. Melgratti, I. Poliakov, Jan Křetínský, J. Markovski, Jason Steggles, J. Keiren, J. Gabarró, Johan Ersfolk, J. Cortadella, Jori Dubrovin, L. Yoong, Lukasz Mikulski, Maciej Gazda, M. Koutny, M. Szreter, M. Lawford, M. Hendriks, Mathieu Sassolas, M. Knapik, M. Reniers, M. Loreti, Mike Gemünde, Mikko Tiusanen, N. Bertrand, N. Sznajder, Nikola Benes, O. Gaggi, P. Moreaux, Petr Bauch, Petr Ročkai, Reiner Hüchting, Ricardo J. Rodríguez, R. Sinha, Sandie Balaguer, Sidharta Andalam, Siert Wieringa, Simona Bernardi, S. Georgievska, Stanislavs Golubcovs, Stefan Göller, S. Haar, Stefan Schwoon, Tall Bremehr, T. Massart, T. Willemse, Vera Pantelic, Xiang Gan, Y. Thierry-Mieg, Zdenek Sawa","doi":"10.1109/ANCS.2011.8","DOIUrl":"https://doi.org/10.1109/ANCS.2011.8","url":null,"abstract":"Kubilay Atasu, IBM Research Zurich, Switzerland Robert Birke, IBM Research Zurich, Switzerland Daniel Crisan, IBM Research Zurich, Switzerland Thomas Ebi, Karlsruhe Institute of Technology, Germany Holger Endt, BMW Research & Technology, Germany Kimon Karras, Technische Universität München, Germany Pranay Koka, Oracle, USA Daniel Llorente, Cisco Cyriel Minkenberg, IBM Research Zurich, Switzerland Dongkook Park, Intel, USA Holm Rauchfuss, Technische Universität München, Germany Christian Renner, Technische Universität Hamburg-Harburg, Germany Fulvio Risso, Politecnico di Torino, Italy Germán Rodríguez, IBM Research Zurich, Switzerland Hermann Seuschek, Technische Universität München, Germany Georg Sigl, Technische Universität München, Germany Ioannis Sourdis, Chalmers University of Technology, Sweden Hariharan Thantry, Intel, USA Thomas Zink, University of Konstanz, Germany","PeriodicalId":222512,"journal":{"name":"2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125316396","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid 当程序分析遇到字节码搜索:BackDroid中现代Android应用程序的目标和有效的程序间分析

2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Pub Date : 2020-05-23 DOI: 10.1109/DSN48987.2021.00063

Daoyuan Wu, Debin Gao, R. Deng, R. Chang

{"title":"When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid","authors":"Daoyuan Wu, Debin Gao, R. Deng, R. Chang","doi":"10.1109/DSN48987.2021.00063","DOIUrl":"https://doi.org/10.1109/DSN48987.2021.00063","url":null,"abstract":"Widely-used Android static program analysis tools, e.g., Amandroid and FlowDroid, perform the whole-app inter-procedural analysis that is comprehensive but fundamentally difficult to handle modern (large) apps. The average app size has increased three to four times over five years. In this paper, we explore a new paradigm of targeted inter-procedural analysis that can skip irrelevant code and focus only on the flows of security-sensitive sink APIs. To this end, we propose a technique called on-the-fly bytecode search, which searches the disassembled app bytecode text just in time when a caller needs to be located. In this way, it guides targeted (and backward) inter-procedural analysis step by step until reaching entry points, without relying on a whole-app graph. Such search-based inter-procedural analysis, however, is challenging due to Java polymorphism, callbacks, asynchronous flows, static initializers, and inter-component communication in Android apps. We overcome these unique obstacles in our context by proposing a set of bytecode search mechanisms that utilize flexible searches and forward object taint analysis. Atop this new inter-procedural analysis, we further adjust the traditional backward slicing and forward constant propagation to provide the complete dataflow tracking of sink API calls. We have implemented a prototype called BackDroid and compared it with Amandroid in analyzing 3,178 modern popular apps for crypto and SSL misconfigurations. The evaluation shows that for such sink-based problems, BackDroid is 37 times faster (2.13v.s. 78.15 minutes) and has no timed-out failure (v.s. 35% in Amandroid) while maintaining close or even better detection effectiveness.","PeriodicalId":222512,"journal":{"name":"2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127638984","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

A Low-cost Fault Corrector for Deep Neural Networks through Range Restriction 通过范围限制为深度神经网络设计低成本纠错器

2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Pub Date : 2020-03-30 DOI: 10.1109/DSN48987.2021.00018

Zitao Chen, Guanpeng Li, K. Pattabiraman

引用次数: 57

EncDBDB: Searchable Encrypted, Fast, Compressed, In-Memory Database Using Enclaves EncDBDB:可搜索的加密，快速，压缩，内存数据库使用enclave

2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Pub Date : 2020-02-12 DOI: 10.1109/DSN48987.2021.00054

Benny Fuhry, A. JayanthJainH, Florian Kerschbaum Sap Security Research, U. Waterloo

{"title":"EncDBDB: Searchable Encrypted, Fast, Compressed, In-Memory Database Using Enclaves","authors":"Benny Fuhry, A. JayanthJainH, Florian Kerschbaum Sap Security Research, U. Waterloo","doi":"10.1109/DSN48987.2021.00054","DOIUrl":"https://doi.org/10.1109/DSN48987.2021.00054","url":null,"abstract":"Data confidentiality is an important requirement for clients when outsourcing databases to the cloud. Trusted execution environments, such as Intel SGX, offer an efficient solution to this confidentiality problem. However, existing TEE-based solutions are not optimized for column-oriented, in-memory databases and pose impractical memory requirements on the enclave. We present EncDBDB, a novel approach for client-controlled encryption of a column-oriented, in-memory databases allowing range searches using an enclave. EncDBDB offers nine encrypted dictionaries, which provide different security, performance, and storage efficiency tradeoffs for the data. It is especially suited for complex, read-oriented, analytic queries as present, e.g., in data warehouses. The computational overhead compared to plaintext processing is within a millisecond even for databases with millions of entries and the leakage is limited. Compressed encrypted data requires less space than a corresponding plaintext column. Furthermore, EncDBDB’s enclave is very small reducing the potential for security-relevant implementation errors and side-channel leakages.","PeriodicalId":222512,"journal":{"name":"2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117026935","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 11

Title Page iii 第三页标题

2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Pub Date : 2018-07-01 DOI: 10.1109/ihmsc.2018.10099

Ray Walshe

引用次数: 0

Message from the Programme Chairs 节目主持人的致辞

2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Pub Date : 2005-11-17 DOI: 10.1109/ISESE.2005.1541804

J. Verner, G. Travassos

引用次数: 0