iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.dagstuhl.de/pid/85/6647.ris

Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/ieeesp/PiessensO24 AU - Piessens, Frank AU - Oorschot, Paul C. van TI - Side-Channel Attacks: A Short Tour. JO - IEEE Secur. Priv. VL - 22 IS - 2 SP - 75 EP - 80 PY - 2024// DO - 10.1109/MSEC.2024.3352848 UR - https://doi.org/10.1109/MSEC.2024.3352848 ER - TY - CPAPER ID - DBLP:conf/sp/WinderixBNDP24 AU - Winderix, Hans AU - Bognar, Marton AU - Noorman, Job AU - Daniel, Lesly-Ann AU - Piessens, Frank TI - Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs. BT - IEEE Symposium on Security and Privacy, SP 2024, San Francisco, CA, USA, May 19-23, 2024 SP - 3697 EP - 3715 PY - 2024// DO - 10.1109/SP54263.2024.00047 UR - https://doi.org/10.1109/SP54263.2024.00047 ER - TY - CPAPER ID - DBLP:conf/sp/AlderDOPB24 AU - Alder, Fritz AU - Daniel, Lesly-Ann AU - Oswald, David F. AU - Piessens, Frank AU - Bulck, Jo Van TI - Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes. BT - IEEE Symposium on Security and Privacy, SP 2024, San Francisco, CA, USA, May 19-23, 2024 SP - 4163 EP - 4181 PY - 2024// DO - 10.1109/SP54263.2024.00090 UR - https://doi.org/10.1109/SP54263.2024.00090 ER - TY - CPAPER ID - DBLP:conf/uss/BognarMPB24 AU - Bognar, Marton AU - Magnus, Cas AU - Piessens, Frank AU - Bulck, Jo Van TI - Intellectual Property Exposure: Subverting and Securing Intellectual Property Encapsulation in Texas Instruments Microcontrollers. BT - 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024 PY - 2024// UR - https://www.usenix.org/conference/usenixsecurity24/presentation/bognar ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2409-03743 AU - Winderix, Hans AU - Bognar, Marton AU - Daniel, Lesly-Ann AU - Piessens, Frank TI - Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version). JO - CoRR VL - abs/2409.03743 PY - 2024// DO - 10.48550/ARXIV.2409.03743 UR - https://doi.org/10.48550/arXiv.2409.03743 ER - TY - JOUR ID - DBLP:journals/ieeesp/Piessens23 AU - Piessens, Frank TI - Transient Execution Attacks. JO - IEEE Secur. Priv. VL - 21 IS - 5 SP - 79 EP - 84 PY - 2023// DO - 10.1109/MSEC.2023.3299349 UR - https://doi.org/10.1109/MSEC.2023.3299349 ER - TY - JOUR ID - DBLP:journals/tissec/ScopellitiPNABPM23 AU - Scopelliti, Gianluca AU - Pouyanrad, Sepideh AU - Noorman, Job AU - Alder, Fritz AU - Baumann, Christoph AU - Piessens, Frank AU - Mühlberg, Jan Tobias TI - End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs. JO - ACM Trans. Priv. Secur. VL - 26 IS - 3 SP - 39:1 EP - 39:46 PY - 2023/08/ DO - 10.1145/3592607 UR - https://doi.org/10.1145/3592607 ER - TY - CPAPER ID - DBLP:conf/asiaccs/PurnalBPV23 AU - Purnal, Antoon AU - Bognar, Marton AU - Piessens, Frank AU - Verbauwhede, Ingrid TI - ShowTime: Amplifying Arbitrary CPU Timing Side Channels. BT - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, ASIA CCS 2023, Melbourne, VIC, Australia, July 10-14, 2023 SP - 205 EP - 217 PY - 2023// DO - 10.1145/3579856.3590332 UR - https://doi.org/10.1145/3579856.3590332 ER - TY - CPAPER ID - DBLP:conf/eurosp/BognarWBP23 AU - Bognar, Marton AU - Winderix, Hans AU - Bulck, Jo Van AU - Piessens, Frank TI - MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling. BT - 8th IEEE European Symposium on Security and Privacy, EuroS&P 2023, Delft, Netherlands, July 3-7, 2023 SP - 651 EP - 670 PY - 2023// DO - 10.1109/EUROSP57164.2023.00045 UR - https://doi.org/10.1109/EuroSP57164.2023.00045 ER - TY - CPAPER ID - DBLP:conf/eurosp/StrydonckNJDVOPD23 AU - Strydonck, Thomas Van AU - Noorman, Job AU - Jackson, Jennifer AU - Dias, Leonardo Alves AU - Vanderstraeten, Robin AU - Oswald, David F. AU - Piessens, Frank AU - Devriese, Dominique TI - CHERI-TrEE: Flexible enclaves on capability machines. BT - 8th IEEE European Symposium on Security and Privacy, EuroS&P 2023, Delft, Netherlands, July 3-7, 2023 SP - 1143 EP - 1159 PY - 2023// DO - 10.1109/EUROSP57164.2023.00070 UR - https://doi.org/10.1109/EuroSP57164.2023.00070 ER - TY - CPAPER ID - DBLP:conf/uss/ConstableBCXXAK23 AU - Constable, Scott AU - Bulck, Jo Van AU - Cheng, Xiang AU - Xiao, Yuan AU - Xing, Cedric AU - Alexandrovich, Ilya AU - Kim, Taesoo AU - Piessens, Frank AU - Vij, Mona AU - Silberstein, Mark TI - AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves. BT - 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023 SP - 4051 EP - 4068 PY - 2023// UR - https://www.usenix.org/conference/usenixsecurity23/presentation/constable ER - TY - CPAPER ID - DBLP:conf/uss/DanielBNBRP23 AU - Daniel, Lesly-Ann AU - Bognar, Marton AU - Noorman, Job AU - Bardin, Sébastien AU - Rezk, Tamara AU - Piessens, Frank TI - ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. BT - 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023 SP - 7161 EP - 7178 PY - 2023// UR - https://www.usenix.org/conference/usenixsecurity23/presentation/daniel ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2302-12108 AU - Daniel, Lesly-Ann AU - Bognar, Marton AU - Noorman, Job AU - Bardin, Sébastien AU - Rezk, Tamara AU - Piessens, Frank TI - ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version). JO - CoRR VL - abs/2302.12108 PY - 2023// DO - 10.48550/ARXIV.2302.12108 UR - https://doi.org/10.48550/arXiv.2302.12108 ER - TY - JOUR ID - DBLP:journals/toplas/DevriesePP22 AU - Devriese, Dominique AU - Patrignani, Marco AU - Piessens, Frank TI - Two Parametricities Versus Three Universal Types. JO - ACM Trans. Program. Lang. Syst. VL - 44 IS - 4 SP - 23:1 EP - 23:43 PY - 2022/12/ DO - 10.1145/3539657 UR - https://doi.org/10.1145/3539657 ER - TY - CPAPER ID - DBLP:conf/csfw/StrydonckGGTTPB22 AU - Strydonck, Thomas Van AU - Georges, Aïna Linn AU - Guéneau, Armaël AU - Trieu, Alix AU - Timany, Amin AU - Piessens, Frank AU - Birkedal, Lars AU - Devriese, Dominique TI - Proving full-system security properties under multiple attacker models on capability machines. BT - 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022 SP - 80 EP - 95 PY - 2022// DO - 10.1109/CSF54842.2022.9919645 UR - https://doi.org/10.1109/CSF54842.2022.9919645 ER - TY - CPAPER ID - DBLP:conf/sp/BognarBP22 AU - Bognar, Marton AU - Bulck, Jo Van AU - Piessens, Frank TI - Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures. BT - 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022 SP - 1638 EP - 1655 PY - 2022// DO - 10.1109/SP46214.2022.9833735 UR - https://doi.org/10.1109/SP46214.2022.9833735 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2206-01041 AU - Scopelliti, Gianluca AU - Pouyanrad, Sepideh AU - Noorman, Job AU - Alder, Fritz AU - Baumann, Christoph AU - Piessens, Frank AU - Mühlberg, Jan Tobias TI - End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs. JO - CoRR VL - abs/2206.01041 PY - 2022// DO - 10.48550/ARXIV.2206.01041 UR - https://doi.org/10.48550/arXiv.2206.01041 ER - TY - JOUR ID - DBLP:journals/cn/VanderhallenBPM21 AU - Vanderhallen, Stien AU - Bulck, Jo Van AU - Piessens, Frank AU - Mühlberg, Jan Tobias TI - Robust authentication for automotive control networks through covert channels. JO - Comput. Networks VL - 193 SP - 108079 PY - 2021// DO - 10.1016/J.COMNET.2021.108079 UR - https://doi.org/10.1016/j.comnet.2021.108079 ER - TY - JOUR ID - DBLP:journals/jfp/StrydonckPD21 AU - Strydonck, Thomas Van AU - Piessens, Frank AU - Devriese, Dominique TI - Linear capabilities for fully abstract compilation of separation-logic-verified code. JO - J. Funct. Program. VL - 31 SP - e6 PY - 2021// DO - 10.1017/S0956796821000022 UR - https://doi.org/10.1017/S0956796821000022 ER - TY - JOUR ID - DBLP:journals/toplas/BusiNBGDMP21 AU - Busi, Matteo AU - Noorman, Job AU - Bulck, Jo Van AU - Galletta, Letterio AU - Degano, Pierpaolo AU - Mühlberg, Jan Tobias AU - Piessens, Frank TI - Securing Interruptible Enclaved Execution on Small Microprocessors. JO - ACM Trans. Program. Lang. Syst. VL - 43 IS - 3 SP - 12:1 EP - 12:77 PY - 2021// DO - 10.1145/3470534 UR - https://doi.org/10.1145/3470534 ER - TY - CPAPER ID - DBLP:conf/ccs/AlderBPM21 AU - Alder, Fritz AU - Bulck, Jo Van AU - Piessens, Frank AU - Mühlberg, Jan Tobias TI - Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves. BT - CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021 SP - 1357 EP - 1372 PY - 2021// DO - 10.1145/3460120.3484782 UR - https://doi.org/10.1145/3460120.3484782 ER - TY - CPAPER ID - DBLP:conf/ccs/ScopellitiPNAPM21 AU - Scopelliti, Gianluca AU - Pouyanrad, Sepideh AU - Noorman, Job AU - Alder, Fritz AU - Piessens, Frank AU - Mühlberg, Jan Tobias TI - POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications. BT - CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021 SP - 2393 EP - 2395 PY - 2021// DO - 10.1145/3460120.3485341 UR - https://doi.org/10.1145/3460120.3485341 ER - TY - CPAPER ID - DBLP:conf/csfw/El-Korashy0PD0P21 AU - El-Korashy, Akram AU - Tsampas, Stelios AU - Patrignani, Marco AU - Devriese, Dominique AU - Garg, Deepak AU - Piessens, Frank TI - CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. BT - 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021 SP - 1 EP - 16 PY - 2021// DO - 10.1109/CSF51468.2021.00036 UR - https://doi.org/10.1109/CSF51468.2021.00036 ER - TY - CPAPER ID - DBLP:conf/eurosp/WinderixMP21 AU - Winderix, Hans AU - Mühlberg, Jan Tobias AU - Piessens, Frank TI - Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks. BT - IEEE European Symposium on Security and Privacy, EuroS&P 2021, Vienna, Austria, September 6-10, 2021 SP - 667 EP - 682 PY - 2021// DO - 10.1109/EUROSP51992.2021.00050 UR - https://doi.org/10.1109/EuroSP51992.2021.00050 ER - TY - CPAPER ID - DBLP:conf/mfcs/0001WNDP21 AU - Tsampas, Stelios AU - Williams, Christian AU - Nuyts, Andreas AU - Devriese, Dominique AU - Piessens, Frank TI - Abstract Congruence Criteria for Weak Bisimilarity. BT - 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. SP - 88:1 EP - 88:23 PY - 2021// DO - 10.4230/LIPICS.MFCS.2021.88 UR - https://doi.org/10.4230/LIPIcs.MFCS.2021.88 ER - TY - DATA ID - DBLP:data/10/StrydonckGGTTPBD21 AU - Strydonck, Thomas Van AU - Georges, Aïna Linn AU - Guéneau, Armaël AU - Trieu, Alix AU - Timany, Amin AU - Piessens, Frank AU - Birkedal, Lars AU - Devriese, Dominique TI - Proving full-system security properties under multiple attacker models on capability machines: Coq mechanization. PY - 2021/09/ PB - Zenodo DO - 10.5281/ZENODO.5514350 UR - https://doi.org/10.5281/zenodo.5514350 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2102-12345 AU - Werquin, Timothy AU - Hubrechtsen, Mathijs AU - Thangarajan, Ashok AU - Piessens, Frank AU - Mühlberg, Jan Tobias TI - Automated Fuzzing of Automotive Control Units. JO - CoRR VL - abs/2102.12345 PY - 2021// UR - https://arxiv.org/abs/2102.12345 ER - TY - JOUR ID - DBLP:journals/ieeesp/MurdockOGBPG20 AU - Murdock, Kit AU - Oswald, David F. AU - Garcia, Flavio D. AU - Bulck, Jo Van AU - Piessens, Frank AU - Gruss, Daniel TI - Plundervolt: How a Little Bit of Undervolting Can Create a Lot of Trouble. JO - IEEE Secur. Priv. VL - 18 IS - 5 SP - 28 EP - 37 PY - 2020// DO - 10.1109/MSEC.2020.2990495 UR - https://doi.org/10.1109/MSEC.2020.2990495 ER - TY - JOUR ID - DBLP:journals/programming/ReyndersPD20 AU - Reynders, Bob AU - Piessens, Frank AU - Devriese, Dominique TI - Gavial: Programming the web with multi-tier FRP. JO - Art Sci. Eng. Program. VL - 4 IS - 3 SP - 6 PY - 2020// DO - 10.22152/PROGRAMMING-JOURNAL.ORG/2020/4/6 UR - https://doi.org/10.22152/programming-journal.org/2020/4/6 ER - TY - CPAPER ID - DBLP:conf/acsac/AlderBOP20 AU - Alder, Fritz AU - Bulck, Jo Van AU - Oswald, David F. AU - Piessens, Frank TI - Faulty Point Unit: ABI Poisoning Attacks on Intel SGX. BT - ACSAC '20: Annual Computer Security Applications Conference, Virtual Event / Austin, TX, USA, 7-11 December, 2020 SP - 415 EP - 427 PY - 2020// DO - 10.1145/3427228.3427270 UR - https://doi.org/10.1145/3427228.3427270 ER - TY - CPAPER ID - DBLP:conf/cmcs/0001NDP20 AU - Tsampas, Stelios AU - Nuyts, Andreas AU - Devriese, Dominique AU - Piessens, Frank TI - A Categorical Approach to Secure Compilation. BT - Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings SP - 155 EP - 179 PY - 2020// DO - 10.1007/978-3-030-57201-3_9 UR - https://doi.org/10.1007/978-3-030-57201-3_9 ER - TY - CPAPER ID - DBLP:conf/cns/PennekampAMMPW20 AU - Pennekamp, Jan AU - Alder, Fritz AU - Matzutt, Roman AU - Mühlberg, Jan Tobias AU - Piessens, Frank AU - Wehrle, Klaus TI - Secure End-to-End Sensing in Supply Chains. BT - 8th IEEE Conference on Communications and Network Security, CNS 2020, Avignon, France, June 29 - July 1, 2020 SP - 1 EP - 6 PY - 2020// DO - 10.1109/CNS48642.2020.9162337 UR - https://doi.org/10.1109/CNS48642.2020.9162337 ER - TY - CPAPER ID - DBLP:conf/csfw/BusiNBGDMP20 AU - Busi, Matteo AU - Noorman, Job AU - Bulck, Jo Van AU - Galletta, Letterio AU - Degano, Pierpaolo AU - Mühlberg, Jan Tobias AU - Piessens, Frank TI - Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. BT - 33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020 SP - 262 EP - 276 PY - 2020// DO - 10.1109/CSF49147.2020.00026 UR - https://doi.org/10.1109/CSF49147.2020.00026 ER - TY - CPAPER ID - DBLP:conf/eurosp/Piessens20 AU - Piessens, Frank TI - Security across abstraction layers: old and new examples. BT - IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2020, Genoa, Italy, September 7-11, 2020 SP - 271 EP - 279 PY - 2020// DO - 10.1109/EUROSPW51379.2020.00043 UR - https://doi.org/10.1109/EuroSPW51379.2020.00043 ER - TY - CPAPER ID - DBLP:conf/sp/BulckM0LMGYSGP20 AU - Bulck, Jo Van AU - Moghimi, Daniel AU - Schwarz, Michael AU - Lipp, Moritz AU - Minkin, Marina AU - Genkin, Daniel AU - Yarom, Yuval AU - Sunar, Berk AU - Gruss, Daniel AU - Piessens, Frank TI - LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection. BT - 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020 SP - 54 EP - 72 PY - 2020// DO - 10.1109/SP40000.2020.00089 UR - https://doi.org/10.1109/SP40000.2020.00089 ER - TY - CPAPER ID - DBLP:conf/sp/MurdockOGBGP20 AU - Murdock, Kit AU - Oswald, David F. AU - Garcia, Flavio D. AU - Bulck, Jo Van AU - Gruss, Daniel AU - Piessens, Frank TI - Plundervolt: Software-based Fault Injection Attacks against Intel SGX. BT - 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020 SP - 1466 EP - 1482 PY - 2020// DO - 10.1109/SP40000.2020.00057 UR - https://doi.org/10.1109/SP40000.2020.00057 ER - TY - CPAPER ID - DBLP:conf/uss/MoghimiBHPS20 AU - Moghimi, Daniel AU - Bulck, Jo Van AU - Heninger, Nadia AU - Piessens, Frank AU - Sunar, Berk TI - CopyCat: Controlled Instruction-Level Attacks on Enclaves. BT - 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020 SP - 469 EP - 486 PY - 2020// UR - https://www.usenix.org/conference/usenixsecurity20/presentation/moghimi-copycat ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2001-10881 AU - Busi, Matteo AU - Noorman, Job AU - Bulck, Jo Van AU - Galletta, Letterio AU - Degano, Pierpaolo AU - Mühlberg, Jan Tobias AU - Piessens, Frank TI - Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. JO - CoRR VL - abs/2001.10881 PY - 2020// UR - https://arxiv.org/abs/2001.10881 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2002-06188 AU - Reynders, Bob AU - Piessens, Frank AU - Devriese, Dominique TI - Gavial: Programming the web with multi-tier FRP. JO - CoRR VL - abs/2002.06188 PY - 2020// UR - https://arxiv.org/abs/2002.06188 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2002-08437 AU - Moghimi, Daniel AU - Bulck, Jo Van AU - Heninger, Nadia AU - Piessens, Frank AU - Sunar, Berk TI - CopyCat: Controlled Instruction-Level Attacks on Enclaves for Maximal Key Extraction. JO - CoRR VL - abs/2002.08437 PY - 2020// UR - https://arxiv.org/abs/2002.08437 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2004-03557 AU - Tsampas, Stelios AU - Nuyts, Andreas AU - Devriese, Dominique AU - Piessens, Frank TI - A categorical approach to secure compilation. JO - CoRR VL - abs/2004.03557 PY - 2020// UR - https://arxiv.org/abs/2004.03557 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2005-05944 AU - El-Korashy, Akram AU - Tsampas, Stelios AU - Patrignani, Marco AU - Devriese, Dominique AU - Garg, Deepak AU - Piessens, Frank TI - CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle. JO - CoRR VL - abs/2005.05944 PY - 2020// UR - https://arxiv.org/abs/2005.05944 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2010-07899 AU - Tsampas, Stelios AU - Williams, Christian AU - Devriese, Dominique AU - Piessens, Frank TI - Abstract Congruence Criteria for Weak Bisimilarity. JO - CoRR VL - abs/2010.07899 PY - 2020// UR - https://arxiv.org/abs/2010.07899 ER - TY - JOUR ID - DBLP:journals/micro/BulckMWGKPSWYS19 AU - Bulck, Jo Van AU - Minkin, Marina AU - Weisse, Ofir AU - Genkin, Daniel AU - Kasikci, Baris AU - Piessens, Frank AU - Silberstein, Mark AU - Wenisch, Thomas F. AU - Yarom, Yuval AU - Strackx, Raoul TI - Breaking Virtual Memory Protection and the SGX Ecosystem with Foreshadow. JO - IEEE Micro VL - 39 IS - 3 SP - 66 EP - 74 PY - 2019// DO - 10.1109/MM.2019.2910104 UR - https://doi.org/10.1109/MM.2019.2910104 ER - TY - JOUR ID - DBLP:journals/pacmpl/StrydonckPD19 AU - Strydonck, Thomas Van AU - Piessens, Frank AU - Devriese, Dominique TI - Linear capabilities for fully abstract compilation of separation-logic-verified code. JO - Proc. ACM Program. Lang. VL - 3 IS - ICFP SP - 84:1 EP - 84:29 PY - 2019// DO - 10.1145/3341688 UR - https://doi.org/10.1145/3341688 ER - TY - JOUR ID - DBLP:journals/scn/GinkelGMP19 AU - Ginkel, Neline van AU - Groef, Willem De AU - Massacci, Fabio AU - Piessens, Frank TI - A Server-Side JavaScript Security Architecture for Secure Integration of Third-Party Libraries. JO - Secur. Commun. Networks VL - 2019 SP - 9629034:1 EP - 9629034:21 PY - 2019// DO - 10.1155/2019/9629034 UR - https://doi.org/10.1155/2019/9629034 ER - TY - CPAPER ID - DBLP:conf/ccs/Piessens19 AU - Piessens, Frank TI - Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks. BT - Proceedings of ACM Workshop on Theory of Implementation Security, TIS@CCS 2019, London, UK, November 11, 2019 SP - 1 PY - 2019// DO - 10.1145/3338467.3358952 UR - https://doi.org/10.1145/3338467.3358952 ER - TY - CPAPER ID - DBLP:conf/ccs/CanellaGGGLMMP019 AU - Canella, Claudio AU - Genkin, Daniel AU - Giner, Lukas AU - Gruss, Daniel AU - Lipp, Moritz AU - Minkin, Marina AU - Moghimi, Daniel AU - Piessens, Frank AU - Schwarz, Michael AU - Sunar, Berk AU - Bulck, Jo Van AU - Yarom, Yuval TI - Fallout: Leaking Data on Meltdown-resistant CPUs. BT - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. SP - 769 EP - 784 PY - 2019// DO - 10.1145/3319535.3363219 UR - https://doi.org/10.1145/3319535.3363219 ER - TY - CPAPER ID - DBLP:conf/ccs/BulckOMAGP19 AU - Bulck, Jo Van AU - Oswald, David F. AU - Marin, Eduard AU - Aldoseri, Abdulla AU - Garcia, Flavio D. AU - Piessens, Frank TI - A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes. BT - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. SP - 1741 EP - 1758 PY - 2019// DO - 10.1145/3319535.3363206 UR - https://doi.org/10.1145/3319535.3363206 ER - TY - CPAPER ID - DBLP:conf/csfw/TsampasDP19 AU - Tsampas, Stelios AU - Devriese, Dominique AU - Piessens, Frank TI - Temporal Safety for Stack Allocated Memory on Capability Machines. BT - 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019 SP - 243 EP - 255 PY - 2019// DO - 10.1109/CSF.2019.00024 UR - https://doi.org/10.1109/CSF.2019.00024 ER - TY - CPAPER ID - DBLP:conf/nordsec/GoovaertsAGPV19 AU - Goovaerts, Frederik AU - Acar, Gunes AU - Galvez, Rafael AU - Piessens, Frank AU - Vanhoef, Mathy TI - Improving Privacy Through Fast Passive Wi-Fi Scanning. BT - Secure IT Systems - 24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18-20, 2019, Proceedings SP - 37 EP - 52 PY - 2019// DO - 10.1007/978-3-030-35055-0_3 UR - https://doi.org/10.1007/978-3-030-35055-0_3 ER - TY - CPAPER ID - DBLP:conf/sac/VranckenPS19 AU - Vrancken, Kobe AU - Piessens, Frank AU - Strackx, Raoul TI - Securely deploying distributed computation systems on peer-to-peer networks. BT - Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019 SP - 328 EP - 337 PY - 2019// DO - 10.1145/3297280.3297315 UR - https://doi.org/10.1145/3297280.3297315 ER - TY - CPAPER ID - DBLP:conf/siot/WerquinHTPM19 AU - Werquin, Timothy AU - Hubrechtsen, Mathijs AU - Thangarajan, Ashok AU - Piessens, Frank AU - Mühlberg, Jan Tobias TI - Automated Fuzzing of Automotive Control Units. BT - 2019 International Workshop on Secure Internet of Things, SIoT 2019, Luxembourg, Luxembourg, September 26, 2019 SP - 1 EP - 8 PY - 2019// DO - 10.1109/SIOT48044.2019.9637090 UR - https://doi.org/10.1109/SIOT48044.2019.9637090 ER - TY - CPAPER ID - DBLP:conf/uss/CanellaB0LBOPEG19 AU - Canella, Claudio AU - Bulck, Jo Van AU - Schwarz, Michael AU - Lipp, Moritz AU - Berg, Benjamin von AU - Ortner, Philipp AU - Piessens, Frank AU - Evtyushkin, Dmitry AU - Gruss, Daniel TI - A Systematic Evaluation of Transient Execution Attacks and Defenses. BT - 28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019. SP - 249 EP - 266 PY - 2019// UR - https://www.usenix.org/conference/usenixsecurity19/presentation/canella ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1905-12701 AU - Minkin, Marina AU - Moghimi, Daniel AU - Lipp, Moritz AU - Schwarz, Michael AU - Bulck, Jo Van AU - Genkin, Daniel AU - Gruss, Daniel AU - Piessens, Frank AU - Sunar, Berk AU - Yarom, Yuval TI - Fallout: Reading Kernel Writes From User Space. JO - CoRR VL - abs/1905.12701 PY - 2019// UR - http://arxiv.org/abs/1905.12701 ER - TY - JOUR ID - DBLP:journals/pacmpl/DevriesePP18 AU - Devriese, Dominique AU - Patrignani, Marco AU - Piessens, Frank TI - Parametricity versus the universal type. JO - Proc. ACM Program. Lang. VL - 2 IS - POPL SP - 38:1 EP - 38:23 PY - 2018// DO - 10.1145/3158126 UR - https://doi.org/10.1145/3158126 ER - TY - CPAPER ID - DBLP:conf/ccs/BastysPS18 AU - Bastys, Iulia AU - Piessens, Frank AU - Sabelfeld, Andrei TI - Prudent Design Principles for Information Flow Control. BT - Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018 SP - 17 EP - 23 PY - 2018// DO - 10.1145/3264820.3264824 UR - https://doi.org/10.1145/3264820.3264824 ER - TY - CPAPER ID - DBLP:conf/ccs/BulckPS18 AU - Bulck, Jo Van AU - Piessens, Frank AU - Strackx, Raoul TI - Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU Interrupt Logic. BT - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018 SP - 178 EP - 195 PY - 2018// DO - 10.1145/3243734.3243822 UR - https://doi.org/10.1145/3243734.3243822 ER - TY - CPAPER ID - DBLP:conf/ccs/VanhoefP18 AU - Vanhoef, Mathy AU - Piessens, Frank TI - Release the Kraken: New KRACKs in the 802.11 Standard. BT - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018 SP - 299 EP - 314 PY - 2018// DO - 10.1145/3243734.3243807 UR - https://doi.org/10.1145/3243734.3243807 ER - TY - CPAPER ID - DBLP:conf/essos/GyselinckBPS18 AU - Gyselinck, Jago AU - Bulck, Jo Van AU - Piessens, Frank AU - Strackx, Raoul TI - Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution. BT - Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings SP - 44 EP - 60 PY - 2018// DO - 10.1007/978-3-319-94496-8_4 UR - https://doi.org/10.1007/978-3-319-94496-8_4 ER - TY - CPAPER ID - DBLP:conf/nordsec/BastysPS18 AU - Bastys, Iulia AU - Piessens, Frank AU - Sabelfeld, Andrei TI - Tracking Information Flow via Delayed Output - Addressing Privacy in IoT and Emailing Apps. BT - Secure IT Systems - 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedings SP - 19 EP - 37 PY - 2018// DO - 10.1007/978-3-030-03638-6_2 UR - https://doi.org/10.1007/978-3-030-03638-6_2 ER - TY - CPAPER ID - DBLP:conf/programming/ReyndersGDP18 AU - Reynders, Bob AU - Greefs, Michael AU - Devriese, Dominique AU - Piessens, Frank TI - Scalagna 0.1: towards multi-tier programming with Scala and Scala.js. BT - Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018 SP - 69 EP - 74 PY - 2018// DO - 10.1145/3191697.3191731 UR - https://doi.org/10.1145/3191697.3191731 ER - TY - CPAPER ID - DBLP:conf/sp/NgoPR18 AU - Ngo, Minh AU - Piessens, Frank AU - Rezk, Tamara TI - Impossibility of Precise and Sound Termination-Sensitive Security Enforcements. BT - 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA SP - 496 EP - 513 PY - 2018// DO - 10.1109/SP.2018.00048 UR - https://doi.org/10.1109/SP.2018.00048 UR - https://doi.ieeecomputersociety.org/10.1109/SP.2018.00048 ER - TY - CPAPER ID - DBLP:conf/uss/BulckMWGKPSWYS18 AU - Bulck, Jo Van AU - Minkin, Marina AU - Weisse, Ofir AU - Genkin, Daniel AU - Kasikci, Baris AU - Piessens, Frank AU - Silberstein, Mark AU - Wenisch, Thomas F. AU - Yarom, Yuval AU - Strackx, Raoul TI - Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution. BT - 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018. SP - 991 EP - 1008 PY - 2018// UR - https://www.usenix.org/conference/usenixsecurity18/presentation/bulck ER - TY - CPAPER ID - DBLP:conf/wisec/VanhoefBDOP18 AU - Vanhoef, Mathy AU - Bhandaru, Nehru AU - Derham, Thomas AU - Ouzieli, Ido AU - Piessens, Frank TI - Operating Channel Validation: Preventing Multi-Channel Man-in-the-Middle Attacks Against Protected Wi-Fi Networks. BT - Proceedings of the 11th ACM Conference on Security & Privacy in Wireless and Mobile Networks, WiSec 2018, Stockholm, Sweden, June 18-20, 2018 SP - 34 EP - 39 PY - 2018// DO - 10.1145/3212480.3212493 UR - https://doi.org/10.1145/3212480.3212493 ER - TY - CPAPER ID - DBLP:conf/woot/VanhoefP18 AU - Vanhoef, Mathy AU - Piessens, Frank TI - Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives. BT - 12th USENIX Workshop on Offensive Technologies, WOOT 2018, Baltimore, MD, USA, August 13-14, 2018. PY - 2018// UR - https://www.usenix.org/conference/woot18/presentation/vanhoef ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1811-05441 AU - Canella, Claudio AU - Bulck, Jo Van AU - Schwarz, Michael AU - Lipp, Moritz AU - Berg, Benjamin von AU - Ortner, Philipp AU - Piessens, Frank AU - Evtyushkin, Dmitry AU - Gruss, Daniel TI - A Systematic Evaluation of Transient Execution Attacks and Defenses. JO - CoRR VL - abs/1811.05441 PY - 2018// UR - http://arxiv.org/abs/1811.05441 ER - TY - Informal or Other Publication ID - DBLP:journals/dagstuhl-reports/Ahmed0HP18 AU - Ahmed, Amal AU - Garg, Deepak AU - Hritcu, Catalin AU - Piessens, Frank TI - Secure Compilation (Dagstuhl Seminar 18201). JO - Dagstuhl Reports VL - 8 IS - 5 SP - 1 EP - 30 PY - 2018// DO - 10.4230/DAGREP.8.5.1 UR - https://doi.org/10.4230/DagRep.8.5.1 ER - TY - JOUR ID - DBLP:journals/lmcs/DevriesePPK17 AU - Devriese, Dominique AU - Patrignani, Marco AU - Piessens, Frank AU - Keuchel, Steven TI - Modular, Fully-abstract Compilation by Approximate Back-translation. JO - Log. Methods Comput. Sci. VL - 13 IS - 4 PY - 2017// DO - 10.23638/LMCS-13(4:2)2017 UR - https://doi.org/10.23638/LMCS-13(4:2)2017 ER - TY - JOUR ID - DBLP:journals/tissec/NoormanBMPMPVGM17 AU - Noorman, Job AU - Bulck, Jo Van AU - Mühlberg, Jan Tobias AU - Piessens, Frank AU - Maene, Pieter AU - Preneel, Bart AU - Verbauwhede, Ingrid AU - Götzfried, Johannes AU - Müller, Tilo AU - Freiling, Felix C. TI - Sancus 2.0: A Low-Cost Security Architecture for IoT Devices. JO - ACM Trans. Priv. Secur. VL - 20 IS - 3 SP - 7:1 EP - 7:33 PY - 2017// DO - 10.1145/3079763 UR - https://doi.org/10.1145/3079763 ER - TY - CPAPER ID - DBLP:conf/acsac/BulckMP17 AU - Bulck, Jo Van AU - Mühlberg, Jan Tobias AU - Piessens, Frank TI - VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks. BT - Proceedings of the 33rd Annual Computer Security Applications Conference, Orlando, FL, USA, December 4-8, 2017 SP - 225 EP - 237 PY - 2017// DO - 10.1145/3134600.3134623 UR - https://doi.org/10.1145/3134600.3134623 ER - TY - CPAPER ID - DBLP:conf/aplas/GinkelSP17 AU - Ginkel, Neline van AU - Strackx, Raoul AU - Piessens, Frank TI - Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. BT - Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings SP - 105 EP - 123 PY - 2017// DO - 10.1007/978-3-319-71237-6_6 UR - https://doi.org/10.1007/978-3-319-71237-6_6 ER - TY - CPAPER ID - DBLP:conf/ccs/VanhoefSP17 AU - Vanhoef, Mathy AU - Schepers, Domien AU - Piessens, Frank TI - Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing. BT - Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, AsiaCCS 2017, Abu Dhabi, United Arab Emirates, April 2-6, 2017 SP - 360 EP - 371 PY - 2017// DO - 10.1145/3052973.3053008 UR - https://doi.org/10.1145/3052973.3053008 ER - TY - CPAPER ID - DBLP:conf/ccs/VanhoefP17 AU - Vanhoef, Mathy AU - Piessens, Frank TI - Key Reinstallation Attacks: Forcing Nonce Reuse in WPA2. BT - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017 SP - 1313 EP - 1328 PY - 2017// DO - 10.1145/3133956.3134027 UR - https://doi.org/10.1145/3133956.3134027 UR - https://www.wikidata.org/entity/Q57097718 ER - TY - CPAPER ID - DBLP:conf/oopsla/CalusRDNP17 AU - Calus, Ben AU - Reynders, Bob AU - Devriese, Dominique AU - Noorman, Job AU - Piessens, Frank TI - FRP IoT modules as a Scala DSL. BT - Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Vancouver, BC, Canada, October 23, 2017 SP - 15 EP - 20 PY - 2017// DO - 10.1145/3141858.3141861 UR - https://doi.org/10.1145/3141858.3141861 ER - TY - CPAPER ID - DBLP:conf/post/HedinSPS17 AU - Hedin, Daniel AU - Sjösten, Alexander AU - Piessens, Frank AU - Sabelfeld, Andrei TI - A Principled Approach to Tracking Information Flow in the Presence of Libraries. BT - Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings SP - 49 EP - 70 PY - 2017// DO - 10.1007/978-3-662-54455-6_3 UR - https://doi.org/10.1007/978-3-662-54455-6_3 ER - TY - CPAPER ID - DBLP:conf/programming/ReyndersDP17 AU - Reynders, Bob AU - Devriese, Dominique AU - Piessens, Frank TI - Experience Report: Functional Reactive Programming and the DOM. BT - Companion to the first International Conference on the Art, Science and Engineering of Programming, Programming 2017, Brussels, Belgium, April 3-6, 2017 SP - 23:1 EP - 23:6 PY - 2017// DO - 10.1145/3079368.3079405 UR - https://doi.org/10.1145/3079368.3079405 ER - TY - CPAPER ID - DBLP:conf/raid/VissersSAJJWPJD17 AU - Vissers, Thomas AU - Spooren, Jan AU - Agten, Pieter AU - Jumpertz, Dirk AU - Janssen, Peter AU - Wesemael, Marc Van AU - Piessens, Frank AU - Joosen, Wouter AU - Desmet, Lieven TI - Exploring the Ecosystem of Malicious Domain Registrations in the .eu TLD. BT - Research in Attacks, Intrusions, and Defenses - 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings SP - 472 EP - 493 PY - 2017// DO - 10.1007/978-3-319-66332-6_21 UR - https://doi.org/10.1007/978-3-319-66332-6_21 ER - TY - CPAPER ID - DBLP:conf/sfp/HoremansRDP17 AU - Horemans, Jeff AU - Reynders, Bob AU - Devriese, Dominique AU - Piessens, Frank TI - Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger. BT - Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers SP - 79 EP - 97 PY - 2017// DO - 10.1007/978-3-319-89719-6_5 UR - https://doi.org/10.1007/978-3-319-89719-6_5 ER - TY - CPAPER ID - DBLP:conf/sosp/VranckenPS17 AU - Vrancken, Kobe AU - Piessens, Frank AU - Strackx, Raoul TI - Hardening Intel SGX Applications: Balancing Concerns. BT - Proceedings of the 2nd Workshop on System Software for Trusted Execution, SysTEX@SOSP 2017, Shanghai, China, October 28, 2017 SP - 2:1 EP - 2:2 PY - 2017// DO - 10.1145/3152701.3152711 UR - https://doi.org/10.1145/3152701.3152711 ER - TY - CPAPER ID - DBLP:conf/sosp/BulckPS17 AU - Bulck, Jo Van AU - Piessens, Frank AU - Strackx, Raoul TI - SGX-Step: A Practical Attack Framework for Precise Enclave Execution Control. BT - Proceedings of the 2nd Workshop on System Software for Trusted Execution, SysTEX@SOSP 2017, Shanghai, China, October 28, 2017 SP - 4:1 EP - 4:6 PY - 2017// DO - 10.1145/3152701.3152706 UR - https://doi.org/10.1145/3152701.3152706 ER - TY - CPAPER ID - DBLP:conf/stm/NoormanMP17 AU - Noorman, Job AU - Mühlberg, Jan Tobias AU - Piessens, Frank TI - Authentic Execution of Distributed Event-Driven Applications with a Small TCB. BT - Security and Trust Management - 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings SP - 55 EP - 71 PY - 2017// DO - 10.1007/978-3-319-68063-7_4 UR - https://doi.org/10.1007/978-3-319-68063-7_4 ER - TY - CPAPER ID - DBLP:conf/uss/BulckWKPS17 AU - Bulck, Jo Van AU - Weichbrodt, Nico AU - Kapitza, Rüdiger AU - Piessens, Frank AU - Strackx, Raoul TI - Telling Your Secrets without Page Faults: Stealthy Page Table-Based Attacks on Enclaved Execution. BT - 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18, 2017. SP - 1041 EP - 1056 PY - 2017// UR - https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/van-bulck ER - TY - Informal or Other Publication ID - DBLP:journals/corr/DevriesePPK17 AU - Devriese, Dominique AU - Patrignani, Marco AU - Piessens, Frank AU - Keuchel, Steven TI - Modular, Fully-abstract Compilation by Approximate Back-translation. JO - CoRR VL - abs/1703.09988 PY - 2017// UR - http://arxiv.org/abs/1703.09988 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1712-08519 AU - Strackx, Raoul AU - Piessens, Frank TI - The Heisenberg Defense: Proactively Defending SGX Enclaves against Page-Table-Based Side-Channel Attacks. JO - CoRR VL - abs/1712.08519 PY - 2017// UR - http://arxiv.org/abs/1712.08519 ER - TY - JOUR ID - DBLP:journals/jfp/CockxDP16 AU - Cockx, Jesper AU - Devriese, Dominique AU - Piessens, Frank TI - Eliminating dependent pattern matching without K. JO - J. Funct. Program. VL - 26 SP - e16 PY - 2016// DO - 10.1017/S0956796816000174 UR - https://doi.org/10.1017/S0956796816000174 ER - TY - CPAPER ID - DBLP:conf/aosd/BulckNMP16 AU - Bulck, Jo Van AU - Noorman, Job AU - Mühlberg, Jan Tobias AU - Piessens, Frank TI - Towards availability and real-time guarantees for protected module architectures. BT - Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016 SP - 146 EP - 151 PY - 2016// DO - 10.1145/2892664.2892693 UR - https://doi.org/10.1145/2892664.2892693 ER - TY - CPAPER ID - DBLP:conf/ccs/VanhoefMCCP16 AU - Vanhoef, Mathy AU - Matte, Célestin AU - Cunche, Mathieu AU - Cardoso, Leonardo S. AU - Piessens, Frank TI - Why MAC Address Randomization is not Enough: An Analysis of Wi-Fi Network Discovery Mechanisms. BT - Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, AsiaCCS 2016, Xi'an, China, May 30 - June 3, 2016 SP - 413 EP - 424 PY - 2016// DO - 10.1145/2897845.2897883 UR - https://doi.org/10.1145/2897845.2897883 ER - TY - CPAPER ID - DBLP:conf/csfw/PatrignaniDP16 AU - Patrignani, Marco AU - Devriese, Dominique AU - Piessens, Frank TI - On Modular and Fully-Abstract Compilation. BT - IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016 SP - 17 EP - 30 PY - 2016// DO - 10.1109/CSF.2016.9 UR - https://doi.org/10.1109/CSF.2016.9 UR - https://doi.ieeecomputersociety.org/10.1109/CSF.2016.9 ER - TY - CPAPER ID - DBLP:conf/date/PiessensV16 AU - Piessens, Frank AU - Verbauwhede, Ingrid TI - Software security: Vulnerabilities and countermeasures for two attacker models. BT - 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016 SP - 990 EP - 999 PY - 2016// UR - https://ieeexplore.ieee.org/document/7459451/ ER - TY - CPAPER ID - DBLP:conf/esorics/SchoepeBPS16 AU - Schoepe, Daniel AU - Balliu, Musard AU - Piessens, Frank AU - Sabelfeld, Andrei TI - Let's Face It: Faceted Values for Taint Tracking. BT - Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I SP - 561 EP - 580 PY - 2016// DO - 10.1007/978-3-319-45744-4_28 UR - https://doi.org/10.1007/978-3-319-45744-4_28 ER - TY - CPAPER ID - DBLP:conf/eurosp/DevrieseBP16 AU - Devriese, Dominique AU - Birkedal, Lars AU - Piessens, Frank TI - Reasoning about Object Capabilities with Logical Relations and Effect Parametricity. BT - IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016 SP - 147 EP - 162 PY - 2016// DO - 10.1109/EUROSP.2016.22 UR - https://doi.org/10.1109/EuroSP.2016.22 ER - TY - CPAPER ID - DBLP:conf/icfp/CockxDP16 AU - Cockx, Jesper AU - Devriese, Dominique AU - Piessens, Frank TI - Unifiers as equivalences: proof-relevant unification of dependently typed data. BT - Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016 SP - 270 EP - 283 PY - 2016// DO - 10.1145/2951913.2951917 UR - https://doi.org/10.1145/2951913.2951917 UR - https://doi.org/10.1145/3022670.2951917 ER - TY - CPAPER ID - DBLP:conf/middleware/BrekaloSP16 AU - Brekalo, Helena AU - Strackx, Raoul AU - Piessens, Frank TI - Mitigating Password Database Breaches with Intel SGX. BT - Proceedings of the 1st Workshop on System Software for Trusted Execution, SysTEX@Middleware 2016, Trento, Italy, December 12, 2016 SP - 1:1 EP - 1:6 PY - 2016// DO - 10.1145/3007788.3007789 UR - https://doi.org/10.1145/3007788.3007789 ER - TY - CPAPER ID - DBLP:conf/middleware/StrackxP16 AU - Strackx, Raoul AU - Piessens, Frank TI - Developing Secure SGX Enclaves: New Challenges on the Horizon. BT - Proceedings of the 1st Workshop on System Software for Trusted Execution, SysTEX@Middleware 2016, Trento, Italy, December 12, 2016 SP - 3:1 EP - 3:2 PY - 2016// DO - 10.1145/3007788.3007791 UR - https://doi.org/10.1145/3007788.3007791 ER - TY - CPAPER ID - DBLP:conf/popl/DevriesePP16 AU - Devriese, Dominique AU - Patrignani, Marco AU - Piessens, Frank TI - Fully-abstract compilation by approximate back-translation. BT - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 SP - 164 EP - 177 PY - 2016// DO - 10.1145/2837614.2837618 UR - https://doi.org/10.1145/2837614.2837618 UR - https://doi.org/10.1145/2914770.2837618 ER - TY - CPAPER ID - DBLP:conf/sac/GroefSJPD16 AU - Groef, Willem De AU - Subramanian, Deepak AU - Johns, Martin AU - Piessens, Frank AU - Desmet, Lieven TI - Ensuring endpoint authenticity in WebRTC peer-to-peer communication. BT - Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016 SP - 2103 EP - 2110 PY - 2016// DO - 10.1145/2851613.2851804 UR - https://doi.org/10.1145/2851613.2851804 ER - TY - CPAPER ID - DBLP:conf/secdev/PiessensDMS16 AU - Piessens, Frank AU - Devriese, Dominique AU - Mühlberg, Jan Tobias AU - Strackx, Raoul TI - Security Guarantees for the Execution Infrastructure of Software Applications. BT - IEEE Cybersecurity Development, SecDev 2016, Boston, MA, USA, November 3-4, 2016 SP - 81 EP - 87 PY - 2016// DO - 10.1109/SECDEV.2016.030 UR - https://doi.org/10.1109/SecDev.2016.030 ER - TY - CPAPER ID - DBLP:conf/usenix/VanhoefP16 AU - Vanhoef, Mathy AU - Piessens, Frank TI - All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS. BT - Proceedings of the 2016 USENIX Annual Technical Conference, USENIX ATC 2016, Denver, CO, USA, June 22-24, 2016. PY - 2016// UR - https://www.usenix.org/conference/atc16/technical-sessions/presentation/vanhoef ER - TY - CPAPER ID - DBLP:conf/uss/GoethemVPJ16 AU - Goethem, Tom van AU - Vanhoef, Mathy AU - Piessens, Frank AU - Joosen, Wouter TI - Request and Conquer: Exposing Cross-Origin Resource Size. BT - 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. SP - 447 EP - 462 PY - 2016// UR - https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/goethem ER - TY - CPAPER ID - DBLP:conf/uss/VanhoefP16 AU - Vanhoef, Mathy AU - Piessens, Frank TI - Predicting, Decrypting, and Abusing WPA2/802.11 Group Keys. BT - 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. SP - 673 EP - 688 PY - 2016// UR - https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/vanhoef ER - TY - CPAPER ID - DBLP:conf/uss/StrackxP16 AU - Strackx, Raoul AU - Piessens, Frank TI - Ariadne: A Minimal Approach to State Continuity. BT - 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. SP - 875 EP - 892 PY - 2016// UR - https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/strackx ER - TY - CPAPER ID - DBLP:conf/wistp/MuhlbergCMBPP16 AU - Mühlberg, Jan Tobias AU - Cleemput, Sara AU - Mustafa, Mustafa A. AU - Bulck, Jo Van AU - Preneel, Bart AU - Piessens, Frank TI - An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. BT - Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings SP - 53 EP - 69 PY - 2016// DO - 10.1007/978-3-319-45931-8_4 UR - https://doi.org/10.1007/978-3-319-45931-8_4 ER - TY - CONF ID - DBLP:conf/post/2016 ED - Piessens, Frank ED - Viganò, Luca TI - Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings T3 - Lecture Notes in Computer Science VL - 9635 PY - 2016// PB - Springer DO - 10.1007/978-3-662-49635-0 UR - https://doi.org/10.1007/978-3-662-49635-0 SN - ISBN 978-3-662-49634-3 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/PatrignaniDP16 AU - Patrignani, Marco AU - Devriese, Dominique AU - Piessens, Frank TI - On Modular and Fully-Abstract Compilation - Technical Appendix. JO - CoRR VL - abs/1604.05044 PY - 2016// UR - http://arxiv.org/abs/1604.05044 ER - TY - JOUR ID - DBLP:journals/corr/Vogels0P15 AU - Vogels, Frédéric AU - Jacobs, Bart AU - Piessens, Frank TI - Featherweight VeriFast. JO - Log. Methods Comput. Sci. VL - 11 IS - 3 PY - 2015// DO - 10.2168/LMCS-11(3:19)2015 UR - https://doi.org/10.2168/LMCS-11(3:19)2015 UR - http://arxiv.org/abs/1507.07697 ER - TY - JOUR ID - DBLP:journals/itpro/RyckNDPJ15 AU - Ryck, Philippe De AU - Nikiforakis, Nick AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter TI - Protected Web Components: Hiding Sensitive Information in the Shadows. JO - IT Prof. VL - 17 IS - 1 SP - 36 EP - 43 PY - 2015// DO - 10.1109/MITP.2015.12 UR - https://doi.org/10.1109/MITP.2015.12 UR - http://doi.ieeecomputersociety.org/10.1109/MITP.2015.12 ER - TY - JOUR ID - DBLP:journals/mscs/Dam0LP15 AU - Dam, Mads AU - Jacobs, Bart AU - Lundblad, Andreas AU - Piessens, Frank TI - Security monitor inlining and certification for multithreaded Java. JO - Math. Struct. Comput. Sci. VL - 25 IS - 3 SP - 528 EP - 565 PY - 2015// DO - 10.1017/S0960129512000916 UR - https://doi.org/10.1017/S0960129512000916 UR - https://www.wikidata.org/entity/Q115011476 ER - TY - JOUR ID - DBLP:journals/sesa/StrackxAAP15 AU - Strackx, Raoul AU - Agten, Pieter AU - Avonds, Niels AU - Piessens, Frank TI - Salus: Kernel Support for Secure Process Compartments. JO - EAI Endorsed Trans. Security Safety VL - 2 IS - 3 SP - e1 PY - 2015// DO - 10.4108/SESA.2.3.E1 UR - https://doi.org/10.4108/sesa.2.3.e1 ER - TY - JOUR ID - DBLP:journals/sttt/VanoverbergheP15 AU - Vanoverberghe, Dries AU - Piessens, Frank TI - Policy ignorant caller-side inline reference monitoring. JO - Int. J. Softw. Tools Technol. Transf. VL - 17 IS - 3 SP - 291 EP - 303 PY - 2015// DO - 10.1007/S10009-014-0348-8 UR - https://doi.org/10.1007/s10009-014-0348-8 UR - https://www.wikidata.org/entity/Q113445072 ER - TY - JOUR ID - DBLP:journals/sttt/0002SP15 AU - Jacobs, Bart AU - Smans, Jan AU - Piessens, Frank TI - Solving the VerifyThis 2012 challenges with VeriFast. JO - Int. J. Softw. Tools Technol. Transf. VL - 17 IS - 6 SP - 659 EP - 676 PY - 2015// DO - 10.1007/S10009-014-0310-9 UR - https://doi.org/10.1007/s10009-014-0310-9 ER - TY - JOUR ID - DBLP:journals/toplas/PatrignaniAS0CP15 AU - Patrignani, Marco AU - Agten, Pieter AU - Strackx, Raoul AU - Jacobs, Bart AU - Clarke, Dave AU - Piessens, Frank TI - Secure Compilation to Protected Module Architectures. JO - ACM Trans. Program. Lang. Syst. VL - 37 IS - 2 SP - 6:1 EP - 6:50 PY - 2015// DO - 10.1145/2699503 UR - https://doi.org/10.1145/2699503 ER - TY - CPAPER ID - DBLP:conf/esop/Penninckx0P15 AU - Penninckx, Willem AU - Jacobs, Bart AU - Piessens, Frank TI - Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs. BT - Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings SP - 158 EP - 182 PY - 2015// DO - 10.1007/978-3-662-46669-8_7 UR - https://doi.org/10.1007/978-3-662-46669-8_7 ER - TY - CPAPER ID - DBLP:conf/esorics/MuhlbergNP15 AU - Mühlberg, Jan Tobias AU - Noorman, Job AU - Piessens, Frank TI - Lightweight and Flexible Trust Assessment Modules for the Internet of Things. BT - Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I SP - 503 EP - 520 PY - 2015// DO - 10.1007/978-3-319-24174-6_26 UR - https://doi.org/10.1007/978-3-319-24174-6_26 ER - TY - CPAPER ID - DBLP:conf/gpce/ReyndersDP15 AU - Reynders, Bob AU - Devriese, Dominique AU - Piessens, Frank TI - Generating safe boundary APIs between typed EDSLs and their environments. BT - Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2015, Pittsburgh, PA, USA, October 26-27, 2015 SP - 31 EP - 34 PY - 2015// DO - 10.1145/2814204.2814219 UR - https://doi.org/10.1145/2814204.2814219 UR - https://doi.org/10.1145/2936314.2814219 ER - TY - CPAPER ID - DBLP:conf/ifl/VandenbrouckeSP15 AU - Vandenbroucke, Alexander AU - Schrijvers, Tom AU - Piessens, Frank TI - Fixing non-determinism. BT - Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL '15, Koblenz, Germany, September 14-16, 2015 SP - 5:1 EP - 5:12 PY - 2015// DO - 10.1145/2897336.2897342 UR - https://doi.org/10.1145/2897336.2897342 ER - TY - CPAPER ID - DBLP:conf/ndss/AgtenJPN15 AU - Agten, Pieter AU - Joosen, Wouter AU - Piessens, Frank AU - Nikiforakis, Nick TI - Seven Months' Worth of Mistakes: A Longitudinal Study of Typosquatting Abuse. BT - 22nd Annual Network and Distributed System Security Symposium, NDSS 2015, San Diego, California, USA, February 8-11, 2015 PY - 2015// UR - https://www.ndss-symposium.org/ndss2015/seven-months-worth-mistakes-longitudinal-study-typosquatting-abuse ER - TY - CPAPER ID - DBLP:conf/popl/NgoMMP15 AU - Ngo, Minh AU - Massacci, Fabio AU - Milushev, Dimiter AU - Piessens, Frank TI - Runtime Enforcement of Security Policies on Black Box Reactive Programs. BT - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015 SP - 43 EP - 54 PY - 2015// DO - 10.1145/2676726.2676978 UR - https://doi.org/10.1145/2676726.2676978 UR - https://doi.org/10.1145/2775051.2676978 ER - TY - CPAPER ID - DBLP:conf/popl/Agten0P15 AU - Agten, Pieter AU - Jacobs, Bart AU - Piessens, Frank TI - Sound Modular Verification of C Code Executing in an Unverified Context. BT - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015 SP - 581 EP - 594 PY - 2015// DO - 10.1145/2676726.2676972 UR - https://doi.org/10.1145/2676726.2676972 UR - https://doi.org/10.1145/2775051.2676972 ER - TY - CPAPER ID - DBLP:conf/sac/RyckDPJ15 AU - Ryck, Philippe De AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter TI - SecSess: keeping your session tucked away in your browser. BT - Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015 SP - 2171 EP - 2176 PY - 2015// DO - 10.1145/2695664.2695764 UR - https://doi.org/10.1145/2695664.2695764 ER - TY - CPAPER ID - DBLP:conf/sefm/Muhlberg0DLP15 AU - Mühlberg, Jan Tobias AU - White, David H. AU - Dodds, Mike AU - Lüttgen, Gerald AU - Piessens, Frank TI - Learning Assertions to Verify Linked-List Programs. BT - Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings SP - 37 EP - 52 PY - 2015// DO - 10.1007/978-3-319-22969-0_3 UR - https://doi.org/10.1007/978-3-319-22969-0_3 ER - TY - CPAPER ID - DBLP:conf/uss/VanhoefP15 AU - Vanhoef, Mathy AU - Piessens, Frank TI - All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS. BT - 24th USENIX Security Symposium, USENIX Security 15, Washington, D.C., USA, August 12-14, 2015. SP - 97 EP - 112 PY - 2015// UR - https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/vanhoef ER - TY - CPAPER ID - DBLP:conf/wistp/BulckNMP15 AU - Bulck, Jo Van AU - Noorman, Job AU - Mühlberg, Jan Tobias AU - Piessens, Frank TI - Secure Resource Sharing for Embedded Protected Module Architectures. BT - Information Security Theory and Practice - 9th IFIP WG 11.2 International Conference, WISTP 2015 Heraklion, Crete, Greece, August 24-25, 2015 Proceedings SP - 71 EP - 87 PY - 2015// DO - 10.1007/978-3-319-24018-3_5 UR - https://doi.org/10.1007/978-3-319-24018-3_5 ER - TY - CONF ID - DBLP:conf/essos/2015 ED - Piessens, Frank ED - Caballero, Juan ED - Bielova, Nataliia TI - Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings T3 - Lecture Notes in Computer Science VL - 8978 PY - 2015// PB - Springer DO - 10.1007/978-3-319-15618-7 UR - https://doi.org/10.1007/978-3-319-15618-7 SN - ISBN 978-3-319-15617-0 ER - TY - BOOK ID - DBLP:series/sbcs/RyckDPJ14 AU - Ryck, Philippe De AU - Desmet, Lieven AU - Piessens, Frank AU - Johns, Martin TI - Primer on Client-Side Web Security T3 - Springer Briefs in Computer Science SP - 1 EP - 111 PY - 2014// PB - Springer DO - 10.1007/978-3-319-12226-7 UR - https://doi.org/10.1007/978-3-319-12226-7 SN - ISBN 978-3-319-12225-0 SN - ISBN 978-3-319-12226-7 ER - TY - JOUR ID - DBLP:journals/ieeesp/NikiforakisKJKPV14 AU - Nikiforakis, Nick AU - Kapravelos, Alexandros AU - Joosen, Wouter AU - Kruegel, Christopher AU - Piessens, Frank AU - Vigna, Giovanni TI - On the Workings and Current Practices of Web-Based Device Fingerprinting. JO - IEEE Secur. Priv. VL - 12 IS - 3 SP - 28 EP - 36 PY - 2014// DO - 10.1109/MSP.2013.160 UR - https://doi.org/10.1109/MSP.2013.160 UR - http://doi.ieeecomputersociety.org/10.1109/MSP.2013.160 ER - TY - JOUR ID - DBLP:journals/ijsse/FeldererKKJOPTT14 AU - Felderer, Michael AU - Katt, Basel AU - Kalb, Philipp AU - Jürjens, Jan AU - Ochoa, Martín AU - Paci, Federica AU - Tran, Le Minh Sang AU - Tun, Thein Than AU - Yskout, Koen AU - Scandariato, Riccardo AU - Piessens, Frank AU - Vanoverberghe, Dries AU - Fourneret, Elizabeta AU - Gander, Matthias AU - Solhaug, Bjørnar AU - Breu, Ruth TI - Evolution of Security Engineering Artifacts: A State of the Art Survey. JO - Int. J. Secur. Softw. Eng. VL - 5 IS - 4 SP - 48 EP - 98 PY - 2014// DO - 10.4018/IJSSE.2014100103 UR - https://doi.org/10.4018/ijsse.2014100103 UR - https://www.wikidata.org/entity/Q114928159 ER - TY - JOUR ID - DBLP:journals/jcs/GroefDNP14 AU - Groef, Willem De AU - Devriese, Dominique AU - Nikiforakis, Nick AU - Piessens, Frank TI - Secure multi-execution of web scripts: Theory and practice. JO - J. Comput. Secur. VL - 22 IS - 4 SP - 469 EP - 509 PY - 2014// DO - 10.3233/JCS-130495 UR - https://doi.org/10.3233/JCS-130495 UR - https://www.wikidata.org/entity/Q114944909 ER - TY - JOUR ID - DBLP:journals/scp/PhilippaertsMPS0P14 AU - Philippaerts, Pieter AU - Mühlberg, Jan Tobias AU - Penninckx, Willem AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank TI - Software verification with VeriFast: Industrial case studies. JO - Sci. Comput. Program. VL - 82 SP - 77 EP - 97 PY - 2014// DO - 10.1016/J.SCICO.2013.01.006 UR - https://doi.org/10.1016/j.scico.2013.01.006 ER - TY - CPAPER ID - DBLP:conf/acsac/Strackx0P14 AU - Strackx, Raoul AU - Jacobs, Bart AU - Piessens, Frank TI - ICE: a passive, high-speed, state-continuity scheme. BT - Proceedings of the 30th Annual Computer Security Applications Conference, ACSAC 2014, New Orleans, LA, USA, December 8-12, 2014 SP - 106 EP - 115 PY - 2014// DO - 10.1145/2664243.2664259 UR - https://doi.org/10.1145/2664243.2664259 ER - TY - CPAPER ID - DBLP:conf/acsac/VanhoefP14 AU - Vanhoef, Mathy AU - Piessens, Frank TI - Advanced Wi-Fi attacks using commodity hardware. BT - Proceedings of the 30th Annual Computer Security Applications Conference, ACSAC 2014, New Orleans, LA, USA, December 8-12, 2014 SP - 256 EP - 265 PY - 2014// DO - 10.1145/2664243.2664260 UR - https://doi.org/10.1145/2664243.2664260 UR - https://www.wikidata.org/entity/Q56019968 ER - TY - CPAPER ID - DBLP:conf/acsac/GroefMP14 AU - Groef, Willem De AU - Massacci, Fabio AU - Piessens, Frank TI - NodeSentry: least-privilege library integration for server-side JavaScript. BT - Proceedings of the 30th Annual Computer Security Applications Conference, ACSAC 2014, New Orleans, LA, USA, December 8-12, 2014 SP - 446 EP - 455 PY - 2014// DO - 10.1145/2664243.2664276 UR - https://doi.org/10.1145/2664243.2664276 ER - TY - CPAPER ID - DBLP:conf/asap/ClercqPSV14 AU - Clercq, Ruan de AU - Piessens, Frank AU - Schellekens, Dries AU - Verbauwhede, Ingrid TI - Secure interrupts on low-end microcontrollers. BT - IEEE 25th International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2014, Zurich, Switzerland, June 18-20, 2014 SP - 147 EP - 152 PY - 2014// DO - 10.1109/ASAP.2014.6868649 UR - https://doi.org/10.1109/ASAP.2014.6868649 UR - https://doi.ieeecomputersociety.org/10.1109/ASAP.2014.6868649 ER - TY - CPAPER ID - DBLP:conf/ccs/AckerNDPJ14 AU - Acker, Steven Van AU - Nikiforakis, Nick AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter TI - Monkey-in-the-browser: malware and vulnerabilities in augmented browsing script markets. BT - 9th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '14, Kyoto, Japan - June 03 - 06, 2014 SP - 525 EP - 530 PY - 2014// DO - 10.1145/2590296.2590311 UR - https://doi.org/10.1145/2590296.2590311 ER - TY - CPAPER ID - DBLP:conf/ccs/GoethemPJN14 AU - Goethem, Tom van AU - Piessens, Frank AU - Joosen, Wouter AU - Nikiforakis, Nick TI - Clubbing Seals: Exploring the Ecosystem of Third-party Security Seals. BT - Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014 SP - 918 EP - 929 PY - 2014// DO - 10.1145/2660267.2660279 UR - https://doi.org/10.1145/2660267.2660279 ER - TY - CPAPER ID - DBLP:conf/csfw/VanhoefGDPR14 AU - Vanhoef, Mathy AU - Groef, Willem De AU - Devriese, Dominique AU - Piessens, Frank AU - Rezk, Tamara TI - Stateful Declassification Policies for Event-Driven Programs. BT - IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014 SP - 293 EP - 307 PY - 2014// DO - 10.1109/CSF.2014.28 UR - https://doi.org/10.1109/CSF.2014.28 UR - https://doi.ieeecomputersociety.org/10.1109/CSF.2014.28 ER - TY - CPAPER ID - DBLP:conf/esop/CockxPD14 AU - Cockx, Jesper AU - Piessens, Frank AU - Devriese, Dominique TI - Overlapping and Order-Independent Patterns - Definitional Equality for All. BT - Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings SP - 87 EP - 106 PY - 2014// DO - 10.1007/978-3-642-54833-8_6 UR - https://doi.org/10.1007/978-3-642-54833-8_6 ER - TY - CPAPER ID - DBLP:conf/icfp/CockxDP14 AU - Cockx, Jesper AU - Devriese, Dominique AU - Piessens, Frank TI - Pattern matching without K. BT - Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014 SP - 257 EP - 268 PY - 2014// DO - 10.1145/2628136.2628139 UR - https://doi.org/10.1145/2628136.2628139 UR - https://doi.org/10.1145/2692915.2628139 ER - TY - CPAPER ID - DBLP:conf/iciss/KhanCBGP14 AU - Khan, Wilayat AU - Calzavara, Stefano AU - Bugliesi, Michele AU - Groef, Willem De AU - Piessens, Frank TI - Client Side Web Session Integrity as a Non-interference Property. BT - Information Systems Security - 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014, Proceedings SP - 89 EP - 108 PY - 2014// DO - 10.1007/978-3-319-13841-1_6 UR - https://doi.org/10.1007/978-3-319-13841-1_6 ER - TY - CPAPER ID - DBLP:conf/isw/NikiforakisBDPJ14 AU - Nikiforakis, Nick AU - Balduzzi, Marco AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter TI - Soundsquatting: Uncovering the Use of Homophones in Domain Squatting. BT - Information Security - 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014. Proceedings SP - 291 EP - 308 PY - 2014// DO - 10.1007/978-3-319-13257-0_17 UR - https://doi.org/10.1007/978-3-319-13257-0_17 ER - TY - CPAPER ID - DBLP:conf/oopsla/ReyndersDP14 AU - Reynders, Bob AU - Devriese, Dominique AU - Piessens, Frank TI - Multi-Tier Functional Reactive Programming for the Web. BT - Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014 SP - 55 EP - 68 PY - 2014// DO - 10.1145/2661136.2661140 UR - https://doi.org/10.1145/2661136.2661140 ER - TY - CPAPER ID - DBLP:conf/padl/WinantDPS14 AU - Winant, Thomas AU - Devriese, Dominique AU - Piessens, Frank AU - Schrijvers, Tom TI - Partial Type Signatures for Haskell. BT - Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings SP - 17 EP - 32 PY - 2014// DO - 10.1007/978-3-319-04132-2_2 UR - https://doi.org/10.1007/978-3-319-04132-2_2 ER - TY - CPAPER ID - DBLP:conf/www/NikiforakisMSRJKPVZ14 AU - Nikiforakis, Nick AU - Maggi, Federico AU - Stringhini, Gianluca AU - Rafique, M. Zubair AU - Joosen, Wouter AU - Kruegel, Christopher AU - Piessens, Frank AU - Vigna, Giovanni AU - Zanero, Stefano TI - Stranger danger: exploring the ecosystem of ad-based URL shortening services. BT - 23rd International World Wide Web Conference, WWW '14, Seoul, Republic of Korea, April 7-11, 2014 SP - 51 EP - 62 PY - 2014// DO - 10.1145/2566486.2567983 UR - https://doi.org/10.1145/2566486.2567983 ER - TY - CONF ID - DBLP:conf/essos/2014 ED - Jürjens, Jan ED - Piessens, Frank ED - Bielova, Nataliia TI - Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings T3 - Lecture Notes in Computer Science VL - 8364 PY - 2014// PB - Springer DO - 10.1007/978-3-319-04897-0 UR - https://doi.org/10.1007/978-3-319-04897-0 SN - ISBN 978-3-319-04896-3 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/GadaletaSNPJ14 AU - Gadaleta, Francesco AU - Strackx, Raoul AU - Nikiforakis, Nick AU - Piessens, Frank AU - Joosen, Wouter TI - On the effectiveness of virtualization-based security. JO - CoRR VL - abs/1405.6058 PY - 2014// UR - http://arxiv.org/abs/1405.6058 ER - TY - JOUR ID - DBLP:journals/tissec/PhilippaertsYMPLW13 AU - Philippaerts, Pieter AU - Younan, Yves AU - Muylle, Stijn AU - Piessens, Frank AU - Lachmund, Sven AU - Walter, Thomas TI - CPM: Masking Code Pointers to Prevent Code Injection Attacks. JO - ACM Trans. Inf. Syst. Secur. VL - 16 IS - 1 SP - 1 PY - 2013// DO - 10.1145/2487222.2487223 UR - https://doi.org/10.1145/2487222.2487223 UR - https://www.wikidata.org/entity/Q59409839 ER - TY - CPAPER ID - DBLP:conf/aplas/PatrignaniCP13 AU - Patrignani, Marco AU - Clarke, Dave AU - Piessens, Frank TI - Secure Compilation of Object-Oriented Components to Protected Module Architectures. BT - Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings SP - 176 EP - 191 PY - 2013// DO - 10.1007/978-3-319-03542-0_13 UR - https://doi.org/10.1007/978-3-319-03542-0_13 ER - TY - CPAPER ID - DBLP:conf/ccs/VanhoefP13 AU - Vanhoef, Mathy AU - Piessens, Frank TI - Practical verification of WPA-TKIP vulnerabilities. BT - 8th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '13, Hangzhou, China - May 08 - 10, 2013 SP - 427 EP - 436 PY - 2013// DO - 10.1145/2484313.2484368 UR - https://doi.org/10.1145/2484313.2484368 UR - https://www.wikidata.org/entity/Q55953380 ER - TY - CPAPER ID - DBLP:conf/ccs/AcarJNDGPP13 AU - Acar, Gunes AU - Juarez, Marc AU - Nikiforakis, Nick AU - Díaz, Claudia AU - Gürses, Seda F. AU - Piessens, Frank AU - Preneel, Bart TI - FPDetective: dusting the web for fingerprinters. BT - 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013 SP - 1129 EP - 1140 PY - 2013// DO - 10.1145/2508859.2516674 UR - https://doi.org/10.1145/2508859.2516674 ER - TY - CPAPER ID - DBLP:conf/dimva/NikiforakisPJ13 AU - Nikiforakis, Nick AU - Piessens, Frank AU - Joosen, Wouter TI - HeapSentry: Kernel-Assisted Protection against Heap Overflows. BT - Detection of Intrusions and Malware, and Vulnerability Assessment - 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings SP - 177 EP - 196 PY - 2013// DO - 10.1007/978-3-642-39235-1_11 UR - https://doi.org/10.1007/978-3-642-39235-1_11 ER - TY - CPAPER ID - DBLP:conf/fosad/GroefDVP13 AU - Groef, Willem De AU - Devriese, Dominique AU - Vanhoef, Mathy AU - Piessens, Frank TI - Information Flow Control for Web Scripts. BT - Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures SP - 124 EP - 145 PY - 2013// DO - 10.1007/978-3-319-10082-1_5 UR - https://doi.org/10.1007/978-3-319-10082-1_5 ER - TY - CPAPER ID - DBLP:conf/icfp/DevrieseP13 AU - Devriese, Dominique AU - Piessens, Frank TI - Typed syntactic meta-programming. BT - ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013 SP - 73 EP - 86 PY - 2013// DO - 10.1145/2500365.2500575 UR - https://doi.org/10.1145/2500365.2500575 UR - https://doi.org/10.1145/2544174.2500575 ER - TY - CPAPER ID - DBLP:conf/isse/StrackxNVPP13 AU - Strackx, Raoul AU - Noorman, Job AU - Verbauwhede, Ingrid AU - Preneel, Bart AU - Piessens, Frank TI - Protected Software Module Architectures. BT - ISSE 2013 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2013 Conference, Brussels, Belgium, October 22-23, 2013 SP - 241 EP - 251 PY - 2013// DO - 10.1007/978-3-658-03371-2_21 UR - https://doi.org/10.1007/978-3-658-03371-2_21 ER - TY - CPAPER ID - DBLP:conf/pepm/DevrieseSCP13 AU - Devriese, Dominique AU - Sergey, Ilya AU - Clarke, Dave AU - Piessens, Frank TI - Fixing idioms: a recursion primitive for applicative DSLs. BT - Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013 SP - 97 EP - 106 PY - 2013// DO - 10.1145/2426890.2426910 UR - https://doi.org/10.1145/2426890.2426910 ER - TY - CPAPER ID - DBLP:conf/pldi/SergeyDMMDCP13 AU - Sergey, Ilya AU - Devriese, Dominique AU - Might, Matthew AU - Midtgaard, Jan AU - Darais, David AU - Clarke, Dave AU - Piessens, Frank TI - Monadic abstract interpreters. BT - ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013 SP - 399 EP - 410 PY - 2013// DO - 10.1145/2491956.2491979 UR - https://doi.org/10.1145/2491956.2491979 UR - https://doi.org/10.1145/2499370.2491979 ER - TY - CPAPER ID - DBLP:conf/securecomm/AvondsSAP13 AU - Avonds, Niels AU - Strackx, Raoul AU - Agten, Pieter AU - Piessens, Frank TI - Salus: Non-hierarchical Memory Access Rights to Enforce the Principle of Least Privilege. BT - Security and Privacy in Communication Networks - 9th International ICST Conference, SecureComm 2013, Sydney, NSW, Australia, September 25-28, 2013, Revised Selected Papers SP - 252 EP - 269 PY - 2013// DO - 10.1007/978-3-319-04283-1_16 UR - https://doi.org/10.1007/978-3-319-04283-1_16 UR - http://eudl.eu/doi/10.1007/978-3-319-04283-1_16 ER - TY - CPAPER ID - DBLP:conf/sofsem/VanoverbergheEP13 AU - Vanoverberghe, Dries AU - Eyckmans, Emma AU - Piessens, Frank TI - State Coverage: An Empirical Analysis Based on a User Study. BT - SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings SP - 469 EP - 480 PY - 2013// DO - 10.1007/978-3-642-35843-2_40 UR - https://doi.org/10.1007/978-3-642-35843-2_40 ER - TY - CPAPER ID - DBLP:conf/sp/NikiforakisKJKPV13 AU - Nikiforakis, Nick AU - Kapravelos, Alexandros AU - Joosen, Wouter AU - Kruegel, Christopher AU - Piessens, Frank AU - Vigna, Giovanni TI - Cookieless Monster: Exploring the Ecosystem of Web-Based Device Fingerprinting. BT - 2013 IEEE Symposium on Security and Privacy, SP 2013, Berkeley, CA, USA, May 19-22, 2013 SP - 541 EP - 555 PY - 2013// DO - 10.1109/SP.2013.43 UR - https://doi.org/10.1109/SP.2013.43 UR - https://doi.ieeecomputersociety.org/10.1109/SP.2013.43 ER - TY - CPAPER ID - DBLP:conf/uss/NoormanADSHHPVP13 AU - Noorman, Job AU - Agten, Pieter AU - Daniels, Wilfried AU - Strackx, Raoul AU - Herrewege, Anthony Van AU - Huygens, Christophe AU - Preneel, Bart AU - Verbauwhede, Ingrid AU - Piessens, Frank TI - Sancus: Low-cost Trustworthy Extensible Networked Devices with a Zero-software Trusted Computing Base. BT - Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013 SP - 479 EP - 494 PY - 2013// UR - https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/noorman ER - TY - CPAPER ID - DBLP:conf/www/NikiforakisAMDPJ13 AU - Nikiforakis, Nick AU - Acker, Steven Van AU - Meert, Wannes AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter TI - Bitsquatting: exploiting bit-flips for fun, or profit? BT - 22nd International World Wide Web Conference, WWW '13, Rio de Janeiro, Brazil, May 13-17, 2013 SP - 989 EP - 998 PY - 2013// DO - 10.1145/2488388.2488474 UR - https://doi.org/10.1145/2488388.2488474 ER - TY - CHAP ID - DBLP:series/lncs/SmansJP13 AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank TI - VeriFast for Java: A Tutorial. BT - Aliasing in Object-Oriented Programming. Types, Analysis and Verification SP - 407 EP - 442 PY - 2013// DO - 10.1007/978-3-642-36946-9_14 UR - https://doi.org/10.1007/978-3-642-36946-9_14 ER - TY - JOUR ID - DBLP:journals/csur/YounanJP12 AU - Younan, Yves AU - Joosen, Wouter AU - Piessens, Frank TI - Runtime countermeasures for code injection attacks against C and C++ programs. JO - ACM Comput. Surv. VL - 44 IS - 3 SP - 17:1 EP - 17:28 PY - 2012// DO - 10.1145/2187671.2187679 UR - https://doi.org/10.1145/2187671.2187679 ER - TY - JOUR ID - DBLP:journals/jfp/DevrieseP12 AU - Devriese, Dominique AU - Piessens, Frank TI - Finally tagless observable recursion for an abstract grammar model. JO - J. Funct. Program. VL - 22 IS - 6 SP - 757 EP - 796 PY - 2012// DO - 10.1017/S0956796812000226 UR - https://doi.org/10.1017/S0956796812000226 ER - TY - JOUR ID - DBLP:journals/toplas/SmansJP12 AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank TI - Implicit dynamic frames. JO - ACM Trans. Program. Lang. Syst. VL - 34 IS - 1 SP - 2:1 EP - 2:58 PY - 2012// DO - 10.1145/2160910.2160911 UR - https://doi.org/10.1145/2160910.2160911 ER - TY - CPAPER ID - DBLP:conf/acsac/AgtenABPDP12 AU - Agten, Pieter AU - Acker, Steven Van AU - Brondsema, Yoran AU - Phung, Phu H. AU - Desmet, Lieven AU - Piessens, Frank TI - JSand: complete client-side sandboxing of third-party JavaScript without browser modifications. BT - 28th Annual Computer Security Applications Conference, ACSAC 2012, Orlando, FL, USA, 3-7 December 2012 SP - 1 EP - 10 PY - 2012// DO - 10.1145/2420950.2420952 UR - https://doi.org/10.1145/2420950.2420952 ER - TY - CPAPER ID - DBLP:conf/ccs/StrackxP12 AU - Strackx, Raoul AU - Piessens, Frank TI - Fides: selectively hardening software application components against kernel-level or process-level malware. BT - the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012 SP - 2 EP - 13 PY - 2012// DO - 10.1145/2382196.2382200 UR - https://doi.org/10.1145/2382196.2382200 ER - TY - CPAPER ID - DBLP:conf/ccs/AckerNDJP12 AU - Acker, Steven Van AU - Nikiforakis, Nick AU - Desmet, Lieven AU - Joosen, Wouter AU - Piessens, Frank TI - FlashOver: automated discovery of cross-site scripting vulnerabilities in rich internet applications. BT - 7th ACM Symposium on Information, Compuer and Communications Security, ASIACCS '12, Seoul, Korea, May 2-4, 2012 SP - 12 EP - 13 PY - 2012// DO - 10.1145/2414456.2414462 UR - https://doi.org/10.1145/2414456.2414462 ER - TY - CPAPER ID - DBLP:conf/ccs/NikiforakisIKAJKPV12 AU - Nikiforakis, Nick AU - Invernizzi, Luca AU - Kapravelos, Alexandros AU - Acker, Steven Van AU - Joosen, Wouter AU - Kruegel, Christopher AU - Piessens, Frank AU - Vigna, Giovanni TI - You are what you include: large-scale evaluation of remote javascript inclusions. BT - the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012 SP - 736 EP - 747 PY - 2012// DO - 10.1145/2382196.2382274 UR - https://doi.org/10.1145/2382196.2382274 ER - TY - CPAPER ID - DBLP:conf/ccs/GroefDNP12 AU - Groef, Willem De AU - Devriese, Dominique AU - Nikiforakis, Nick AU - Piessens, Frank TI - FlowFox: a web browser with flexible and precise information flow control. BT - the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012 SP - 748 EP - 759 PY - 2012// DO - 10.1145/2382196.2382275 UR - https://doi.org/10.1145/2382196.2382275 ER - TY - CPAPER ID - DBLP:conf/csfw/AgtenSJP12 AU - Agten, Pieter AU - Strackx, Raoul AU - Jacobs, Bart AU - Piessens, Frank TI - Secure Compilation to Modern Processors. BT - 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012 SP - 171 EP - 185 PY - 2012// DO - 10.1109/CSF.2012.12 UR - https://doi.org/10.1109/CSF.2012.12 UR - https://doi.ieeecomputersociety.org/10.1109/CSF.2012.12 ER - TY - CPAPER ID - DBLP:conf/dais/RyckNDPJ12 AU - Ryck, Philippe De AU - Nikiforakis, Nick AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter TI - Serene: Self-Reliant Client-Side Protection against Session Fixation. BT - Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings SP - 59 EP - 72 PY - 2012// DO - 10.1007/978-3-642-30823-9_5 UR - https://doi.org/10.1007/978-3-642-30823-9_5 ER - TY - CPAPER ID - DBLP:conf/forte/BartheCDPR12 AU - Barthe, Gilles AU - Crespo, Juan Manuel AU - Devriese, Dominique AU - Piessens, Frank AU - Rivas, Exequiel TI - Secure Multi-Execution through Static Program Transformation. BT - Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings SP - 186 EP - 202 PY - 2012// DO - 10.1007/978-3-642-30793-5_12 UR - https://doi.org/10.1007/978-3-642-30793-5_12 ER - TY - CPAPER ID - DBLP:conf/iciss/SwinnenSPP12 AU - Swinnen, Arne AU - Strackx, Raoul AU - Philippaerts, Pieter AU - Piessens, Frank TI - ProtoLeaks: A Reliable and Protocol-Independent Network Covert Channel. BT - Information Systems Security, 8th International Conference, ICISS 2012, Guwahati, India, December 15-19, 2012. Proceedings SP - 119 EP - 133 PY - 2012// DO - 10.1007/978-3-642-35130-3_9 UR - https://doi.org/10.1007/978-3-642-35130-3_9 ER - TY - CPAPER ID - DBLP:conf/nfm/PenninckxMSJP12 AU - Penninckx, Willem AU - Mühlberg, Jan Tobias AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank TI - Sound Formal Verification of Linux's USB BP Keyboard Driver. BT - NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings SP - 210 EP - 215 PY - 2012// DO - 10.1007/978-3-642-28891-3_21 UR - https://doi.org/10.1007/978-3-642-28891-3_21 ER - TY - CPAPER ID - DBLP:conf/nordsec/NoormanNP12 AU - Noorman, Job AU - Nikiforakis, Nick AU - Piessens, Frank TI - There Is Safety in Numbers: Preventing Control-Flow Hijacking by Duplication. BT - Secure IT Systems - 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 31 - November 2, 2012. Proceedings SP - 105 EP - 120 PY - 2012// DO - 10.1007/978-3-642-34210-3_8 UR - https://doi.org/10.1007/978-3-642-34210-3_8 ER - TY - CPAPER ID - DBLP:conf/pet/NikiforakisAPJ12 AU - Nikiforakis, Nick AU - Acker, Steven Van AU - Piessens, Frank AU - Joosen, Wouter TI - Exploring the Ecosystem of Referrer-Anonymizing Services. BT - Privacy Enhancing Technologies - 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings SP - 259 EP - 278 PY - 2012// DO - 10.1007/978-3-642-31680-7_14 UR - https://doi.org/10.1007/978-3-642-31680-7_14 ER - TY - CPAPER ID - DBLP:conf/raid/LekiesNTPJ12 AU - Lekies, Sebastian AU - Nikiforakis, Nick AU - Tighzert, Walter AU - Piessens, Frank AU - Johns, Martin TI - DEMACRO: Defense against Malicious Cross-Domain Requests. BT - Research in Attacks, Intrusions, and Defenses - 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings SP - 254 EP - 273 PY - 2012// DO - 10.1007/978-3-642-33338-5_13 UR - https://doi.org/10.1007/978-3-642-33338-5_13 ER - TY - CPAPER ID - DBLP:conf/secrypt/RyckDPJ12 AU - Ryck, Philippe De AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter TI - A Security Analysis of Emerging Web Standards - HTML5 and Friends, from Specification to Implementation. BT - SECRYPT 2012 - Proceedings of the International Conference on Security and Cryptography, Rome, Italy, 24-27 July, 2012, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications SP - 257 EP - 262 PY - 2012// ER - TY - CPAPER ID - DBLP:conf/socialcom/ReynaertGDDP12 AU - Reynaert, Tom AU - Groef, Willem De AU - Devriese, Dominique AU - Desmet, Lieven AU - Piessens, Frank TI - PESAP: A Privacy Enhanced Social Application Platform. BT - 2012 International Conference on Privacy, Security, Risk and Trust, PASSAT 2012, and 2012 International Confernece on Social Computing, SocialCom 2012, Amsterdam, Netherlands, September 3-5, 2012 SP - 827 EP - 833 PY - 2012// DO - 10.1109/SOCIALCOM-PASSAT.2012.39 UR - https://doi.org/10.1109/SocialCom-PASSAT.2012.39 UR - https://doi.ieeecomputersociety.org/10.1109/SocialCom-PASSAT.2012.39 ER - TY - CPAPER ID - DBLP:conf/sofsem/VanoverbergheHTP12 AU - Vanoverberghe, Dries AU - Halleux, Jonathan de AU - Tillmann, Nikolai AU - Piessens, Frank TI - State Coverage: Software Validation Metrics beyond Code Coverage. BT - SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings SP - 542 EP - 553 PY - 2012// DO - 10.1007/978-3-642-27660-6_44 UR - https://doi.org/10.1007/978-3-642-27660-6_44 ER - TY - CPAPER ID - DBLP:conf/wistp/AgtenNSGP12 AU - Agten, Pieter AU - Nikiforakis, Nick AU - Strackx, Raoul AU - Groef, Willem De AU - Piessens, Frank TI - Recent Developments in Low-Level Software Security. BT - Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems - 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings SP - 1 EP - 16 PY - 2012// DO - 10.1007/978-3-642-30955-7_1 UR - https://doi.org/10.1007/978-3-642-30955-7_1 ER - TY - JOUR ID - DBLP:journals/eceasst/PhilippaertsVSJP11 AU - Philippaerts, Pieter AU - Vogels, Frédéric AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank TI - The Belgian Electronic Identity Card: a Verification Case Study. JO - Electron. Commun. Eur. Assoc. Softw. Sci. Technol. VL - 46 PY - 2011// DO - 10.14279/TUJ.ECEASST.46.682 UR - https://doi.org/10.14279/tuj.eceasst.46.682 ER - TY - JOUR ID - DBLP:journals/jot/PiessensJL11 AU - Piessens, Frank AU - Jacobs, Bart AU - Leavens, Gary T. TI - Special Section on Formal Techniques for Java-like Programs. JO - J. Object Technol. VL - 10 PY - 2011// DO - 10.5381/JOT.2011.10.1.E2 UR - https://doi.org/10.5381/jot.2011.10.1.e2 ER - TY - JOUR ID - DBLP:journals/virology/YounanPPJLW11 AU - Younan, Yves AU - Philippaerts, Pieter AU - Piessens, Frank AU - Joosen, Wouter AU - Lachmund, Sven AU - Walter, Thomas TI - Filter-resistant code injection on ARM. JO - J. Comput. Virol. VL - 7 IS - 3 SP - 173 EP - 188 PY - 2011// DO - 10.1007/S11416-010-0146-0 UR - https://doi.org/10.1007/s11416-010-0146-0 ER - TY - CPAPER ID - DBLP:conf/acsac/AckerRDPJ11 AU - Acker, Steven Van AU - Ryck, Philippe De AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter TI - WebJail: least-privilege integration of third-party components in web mashups. BT - Twenty-Seventh Annual Computer Security Applications Conference, ACSAC 2011, Orlando, FL, USA, 5-9 December 2011 SP - 307 EP - 316 PY - 2011// DO - 10.1145/2076732.2076775 UR - https://doi.org/10.1145/2076732.2076775 ER - TY - CPAPER ID - DBLP:conf/dimva/PhilippaertsYMPLW11 AU - Philippaerts, Pieter AU - Younan, Yves AU - Muylle, Stijn AU - Piessens, Frank AU - Lachmund, Sven AU - Walter, Thomas TI - Code Pointer Masking: Hardening Applications against Code Injection Attacks. BT - Detection of Intrusions and Malware, and Vulnerability Assessment - 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings SP - 194 EP - 213 PY - 2011// DO - 10.1007/978-3-642-22424-9_12 UR - https://doi.org/10.1007/978-3-642-22424-9_12 ER - TY - CPAPER ID - DBLP:conf/esorics/RyckDJP11 AU - Ryck, Philippe De AU - Desmet, Lieven AU - Joosen, Wouter AU - Piessens, Frank TI - Automatic and Precise Client-Side Protection against CSRF Attacks. BT - Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings SP - 100 EP - 116 PY - 2011// DO - 10.1007/978-3-642-23822-2_6 UR - https://doi.org/10.1007/978-3-642-23822-2_6 ER - TY - CPAPER ID - DBLP:conf/fase/VanoverbergheP11 AU - Vanoverberghe, Dries AU - Piessens, Frank TI - Theoretical Aspects of Compositional Symbolic Execution. BT - Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings SP - 247 EP - 261 PY - 2011// DO - 10.1007/978-3-642-19811-3_18 UR - https://doi.org/10.1007/978-3-642-19811-3_18 ER - TY - CPAPER ID - DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11 AU - Klebanov, Vladimir AU - Müller, Peter AU - Shankar, Natarajan AU - Leavens, Gary T. AU - Wüstholz, Valentin AU - Alkassar, Eyad AU - Arthan, Rob AU - Bronish, Derek AU - Chapman, Rod AU - Cohen, Ernie AU - Hillebrand, Mark A. AU - Jacobs, Bart AU - Leino, K. Rustan M. AU - Monahan, Rosemary AU - Piessens, Frank AU - Polikarpova, Nadia AU - Ridge, Tom AU - Smans, Jan AU - Tobies, Stephan AU - Tuerk, Thomas AU - Ulbrich, Mattias AU - Weiß, Benjamin TI - The 1st Verified Software Competition: Experience Report. BT - FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings SP - 154 EP - 168 PY - 2011// DO - 10.1007/978-3-642-21437-0_14 UR - https://doi.org/10.1007/978-3-642-21437-0_14 ER - TY - CPAPER ID - DBLP:conf/fm/JacobsSP11 AU - Jacobs, Bart AU - Smans, Jan AU - Piessens, Frank TI - Verification of Unloadable Modules. BT - FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings SP - 402 EP - 416 PY - 2011// DO - 10.1007/978-3-642-21437-0_30 UR - https://doi.org/10.1007/978-3-642-21437-0_30 ER - TY - CPAPER ID - DBLP:conf/forte/VogelsJPS11 AU - Vogels, Frédéric AU - Jacobs, Bart AU - Piessens, Frank AU - Smans, Jan TI - Annotation Inference for Separation Logic Based Verifiers. BT - Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings SP - 319 EP - 333 PY - 2011// DO - 10.1007/978-3-642-21461-5_21 UR - https://doi.org/10.1007/978-3-642-21461-5_21 ER - TY - CPAPER ID - DBLP:conf/icfp/DevrieseP11 AU - Devriese, Dominique AU - Piessens, Frank TI - On the bright side of type classes: instance arguments in Agda. BT - Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011 SP - 143 EP - 155 PY - 2011// DO - 10.1145/2034773.2034796 UR - https://doi.org/10.1145/2034773.2034796 UR - https://doi.org/10.1145/2034574.2034796 ER - TY - CPAPER ID - DBLP:conf/ifip1-7/GroefDP11 AU - Groef, Willem De AU - Devriese, Dominique AU - Piessens, Frank TI - Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation. BT - Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers SP - 21 EP - 38 PY - 2011// DO - 10.1007/978-3-642-29420-4_2 UR - https://doi.org/10.1007/978-3-642-29420-4_2 ER - TY - CPAPER ID - DBLP:conf/nfm/JacobsSPVPP11 AU - Jacobs, Bart AU - Smans, Jan AU - Philippaerts, Pieter AU - Vogels, Frédéric AU - Penninckx, Willem AU - Piessens, Frank TI - VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java. BT - NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings SP - 41 EP - 55 PY - 2011// DO - 10.1007/978-3-642-20398-5_4 UR - https://doi.org/10.1007/978-3-642-20398-5_4 ER - TY - CPAPER ID - DBLP:conf/nss/BielovaDMP11 AU - Bielova, Nataliia AU - Devriese, Dominique AU - Massacci, Fabio AU - Piessens, Frank TI - Reactive non-interference for a browser model. BT - 5th International Conference on Network and System Security, NSS 2011, Milan, Italy, September 6-8, 2011 SP - 97 EP - 104 PY - 2011// DO - 10.1109/ICNSS.2011.6059965 UR - https://doi.org/10.1109/ICNSS.2011.6059965 ER - TY - CPAPER ID - DBLP:conf/padl/DevrieseP11 AU - Devriese, Dominique AU - Piessens, Frank TI - Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. BT - Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings SP - 84 EP - 98 PY - 2011// DO - 10.1007/978-3-642-18378-2_9 UR - https://doi.org/10.1007/978-3-642-18378-2_9 ER - TY - CPAPER ID - DBLP:conf/popl/JacobsP11 AU - Jacobs, Bart AU - Piessens, Frank TI - Expressive modular fine-grained concurrency specification. BT - Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011 SP - 271 EP - 282 PY - 2011// DO - 10.1145/1926385.1926417 UR - https://doi.org/10.1145/1926385.1926417 UR - https://doi.org/10.1145/1925844.1926417 ER - TY - CPAPER ID - DBLP:conf/servicewave/MassacciBFJLMMPPPSW11 AU - Massacci, Fabio AU - Bouquet, Fabrice AU - Fourneret, Elizabeta AU - Jürjens, Jan AU - Lund, Mass Soldal AU - Madelénat, Sébastien AU - Mühlberg, Jan Tobias AU - Paci, Federica AU - Paul, Stéphane AU - Piessens, Frank AU - Solhaug, Bjørnar AU - Wenzel, Sven TI - Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). BT - Towards a Service-Based Internet - 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings SP - 134 EP - 143 PY - 2011// DO - 10.1007/978-3-642-24755-2_12 UR - https://doi.org/10.1007/978-3-642-24755-2_12 ER - TY - CPAPER ID - DBLP:conf/tldi/DevrieseP11 AU - Devriese, Dominique AU - Piessens, Frank TI - Information flow enforcement in monadic libraries. BT - Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011 SP - 59 EP - 72 PY - 2011// DO - 10.1145/1929553.1929564 UR - https://doi.org/10.1145/1929553.1929564 ER - TY - JOUR ID - DBLP:journals/fac/SmansJPS10 AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank AU - Schulte, Wolfram TI - Automatic verification of Java programs with dynamic frames. JO - Formal Aspects Comput. VL - 22 IS - 3-4 SP - 423 EP - 457 PY - 2010// DO - 10.1007/S00165-010-0148-1 UR - https://doi.org/10.1007/s00165-010-0148-1 ER - TY - JOUR ID - DBLP:journals/ijsse/YounanJPE10 AU - Younan, Yves AU - Joosen, Wouter AU - Piessens, Frank AU - Eynden, Hans Van den TI - Improving Memory Management Security for C and C++. JO - Int. J. Secur. Softw. Eng. VL - 1 IS - 2 SP - 57 EP - 82 PY - 2010// DO - 10.4018/JSSE.2010040104 UR - https://doi.org/10.4018/jsse.2010040104 UR - https://www.wikidata.org/entity/Q113416142 ER - TY - JOUR ID - DBLP:journals/jcs/DamJLP10 AU - Dam, Mads AU - Jacobs, Bart AU - Lundblad, Andreas AU - Piessens, Frank TI - Provably correct inline monitoring for multithreaded Java-like programs. JO - J. Comput. Secur. VL - 18 IS - 1 SP - 37 EP - 59 PY - 2010// DO - 10.3233/JCS-2010-0365 UR - https://doi.org/10.3233/JCS-2010-0365 ER - TY - CPAPER ID - DBLP:conf/aplas/JacobsSP10 AU - Jacobs, Bart AU - Smans, Jan AU - Piessens, Frank TI - A Quick Tour of the VeriFast Program Verifier. BT - Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings SP - 304 EP - 311 PY - 2010// DO - 10.1007/978-3-642-17164-2_21 UR - https://doi.org/10.1007/978-3-642-17164-2_21 ER - TY - CPAPER ID - DBLP:conf/ccs/YounanPCSPJ10 AU - Younan, Yves AU - Philippaerts, Pieter AU - Cavallaro, Lorenzo AU - Sekar, R. AU - Piessens, Frank AU - Joosen, Wouter TI - PAriCheck: an efficient pointer arithmetic checker for C programs. BT - Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010 SP - 145 EP - 156 PY - 2010// DO - 10.1145/1755688.1755707 UR - https://doi.org/10.1145/1755688.1755707 ER - TY - CPAPER ID - DBLP:conf/essos/RyckDHPJ10 AU - Ryck, Philippe De AU - Desmet, Lieven AU - Heyman, Thomas AU - Piessens, Frank AU - Joosen, Wouter TI - CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests. BT - Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings SP - 18 EP - 34 PY - 2010// DO - 10.1007/978-3-642-11747-3_2 UR - https://doi.org/10.1007/978-3-642-11747-3_2 ER - TY - CPAPER ID - DBLP:conf/forte/SmansJP10 AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank TI - Heap-Dependent Expressions in Separation Logic. BT - Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings SP - 170 EP - 185 PY - 2010// DO - 10.1007/978-3-642-13464-7_14 UR - https://doi.org/10.1007/978-3-642-13464-7_14 ER - TY - CPAPER ID - DBLP:conf/iciss/AckerNPYP10 AU - Acker, Steven Van AU - Nikiforakis, Nick AU - Philippaerts, Pieter AU - Younan, Yves AU - Piessens, Frank TI - ValueGuard: Protection of Native Applications against Data-Only Buffer Overflows. BT - Information Systems Security - 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings SP - 156 EP - 170 PY - 2010// DO - 10.1007/978-3-642-17714-9_12 UR - https://doi.org/10.1007/978-3-642-17714-9_12 ER - TY - CPAPER ID - DBLP:conf/nordsec/RyckDDPJ10 AU - Ryck, Philippe De AU - Decat, Maarten AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter TI - Security of Web Mashups: A Survey. BT - Information Security Technology for Applications - 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espoo, Finland, October 27-29, 2010, Revised Selected Papers SP - 223 EP - 238 PY - 2010// DO - 10.1007/978-3-642-27937-9_16 UR - https://doi.org/10.1007/978-3-642-27937-9_16 ER - TY - CPAPER ID - DBLP:conf/sac/VogelsJP10 AU - Vogels, Frédéric AU - Jacobs, Bart AU - Piessens, Frank TI - A machine-checked soundness proof for an efficient verification condition generator. BT - Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010 SP - 2517 EP - 2522 PY - 2010// DO - 10.1145/1774088.1774610 UR - https://doi.org/10.1145/1774088.1774610 ER - TY - CPAPER ID - DBLP:conf/securecomm/StrackxPP10 AU - Strackx, Raoul AU - Piessens, Frank AU - Preneel, Bart TI - Efficient Isolation of Trusted Subsystems in Embedded Systems. BT - Security and Privacy in Communication Networks - 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings SP - 344 EP - 361 PY - 2010// DO - 10.1007/978-3-642-16161-2_20 UR - https://doi.org/10.1007/978-3-642-16161-2_20 UR - http://eudl.eu/doi/10.1007/978-3-642-16161-2_20 ER - TY - CPAPER ID - DBLP:conf/sp/DevrieseP10 AU - Devriese, Dominique AU - Piessens, Frank TI - Noninterference through Secure Multi-execution. BT - 31st IEEE Symposium on Security and Privacy, SP 2010, 16-19 May 2010, Berleley/Oakland, California, USA SP - 109 EP - 124 PY - 2010// DO - 10.1109/SP.2010.15 UR - https://doi.org/10.1109/SP.2010.15 UR - https://doi.ieeecomputersociety.org/10.1109/SP.2010.15 ER - TY - CPAPER ID - DBLP:conf/wistp/StrackxYPP10 AU - Strackx, Raoul AU - Younan, Yves AU - Philippaerts, Pieter AU - Piessens, Frank TI - Efficient and Effective Buffer Overflow Protection on ARM Processors. BT - Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings SP - 1 EP - 16 PY - 2010// DO - 10.1007/978-3-642-12368-9_1 UR - https://doi.org/10.1007/978-3-642-12368-9_1 ER - TY - CHAP ID - DBLP:reference/icsec/ErlingssonYP10 AU - Erlingsson, Úlfar AU - Younan, Yves AU - Piessens, Frank TI - Low-Level Software Security by Example. BT - Handbook of Information and Communication Security SP - 633 EP - 658 PY - 2010// DO - 10.1007/978-3-642-04117-4_30 UR - https://doi.org/10.1007/978-3-642-04117-4_30 ER - TY - JOUR ID - DBLP:journals/infsof/VanoverbergheP09 AU - Vanoverberghe, Dries AU - Piessens, Frank TI - Security enforcement aware software development. JO - Inf. Softw. Technol. VL - 51 IS - 7 SP - 1172 EP - 1185 PY - 2009// DO - 10.1016/J.INFSOF.2008.01.009 UR - https://doi.org/10.1016/j.infsof.2008.01.009 UR - https://www.wikidata.org/entity/Q113442213 ER - TY - CPAPER ID - DBLP:conf/IEEEares/YounanPJ09 AU - Younan, Yves AU - Piessens, Frank AU - Joosen, Wouter TI - Protecting Global and Static Variables from Buffer Overflow Attacks. BT - Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan SP - 798 EP - 803 PY - 2009// DO - 10.1109/ARES.2009.126 UR - https://doi.org/10.1109/ARES.2009.126 UR - https://doi.ieeecomputersociety.org/10.1109/ARES.2009.126 ER - TY - CPAPER ID - DBLP:conf/ccs/YounanPPJLW09 AU - Younan, Yves AU - Philippaerts, Pieter AU - Piessens, Frank AU - Joosen, Wouter AU - Lachmund, Sven AU - Walter, Thomas TI - Filter-resistant code injection on ARM. BT - Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009 SP - 11 EP - 20 PY - 2009// DO - 10.1145/1653662.1653665 UR - https://doi.org/10.1145/1653662.1653665 ER - TY - CPAPER ID - DBLP:conf/ecoop/SmansJP09 AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank TI - Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. BT - ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings SP - 148 EP - 172 PY - 2009// DO - 10.1007/978-3-642-03013-0_8 UR - https://doi.org/10.1007/978-3-642-03013-0_8 ER - TY - CPAPER ID - DBLP:conf/ecoop/JacobsP09 AU - Jacobs, Bart AU - Piessens, Frank TI - Failboxes: Provably Safe Exception Handling. BT - ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings SP - 470 EP - 494 PY - 2009// DO - 10.1007/978-3-642-03013-0_22 UR - https://doi.org/10.1007/978-3-642-03013-0_22 ER - TY - CPAPER ID - DBLP:conf/ecoop/DamJLP09 AU - Dam, Mads AU - Jacobs, Bart AU - Lundblad, Andreas AU - Piessens, Frank TI - Security Monitor Inlining for Multithreaded Java. BT - ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings SP - 546 EP - 569 PY - 2009// DO - 10.1007/978-3-642-03013-0_25 UR - https://doi.org/10.1007/978-3-642-03013-0_25 ER - TY - CPAPER ID - DBLP:conf/essos/PhilippaertsBP09 AU - Philippaerts, Pieter AU - Boon, Cédric AU - Piessens, Frank TI - Report: Extensibility and Implementation Independence of the .NET Cryptographic API. BT - Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings SP - 101 EP - 110 PY - 2009// DO - 10.1007/978-3-642-00199-4_9 UR - https://doi.org/10.1007/978-3-642-00199-4_9 ER - TY - CPAPER ID - DBLP:conf/eurosec/StrackxYPPLW09 AU - Strackx, Raoul AU - Younan, Yves AU - Philippaerts, Pieter AU - Piessens, Frank AU - Lachmund, Sven AU - Walter, Thomas TI - Breaking the memory secrecy assumption. BT - Proceedings of the Second European Workshop on System Security, EUROSEC 2009, Nuremburg, Germany, March 31, 2009 SP - 1 EP - 8 PY - 2009// DO - 10.1145/1519144.1519145 UR - https://doi.org/10.1145/1519144.1519145 ER - TY - CPAPER ID - DBLP:conf/fia/DesmetJMNPPSV09 AU - Desmet, Lieven AU - Joosen, Wouter AU - Massacci, Fabio AU - Naliuka, Katsiaryna AU - Philippaerts, Pieter AU - Piessens, Frank AU - Siahaan, Ida Sri Rejeki AU - Vanoverberghe, Dries TI - A Security Architecture for Web 2.0 Applications. BT - Towards the Future Internet - A European Research Perspective SP - 35 EP - 46 PY - 2009// DO - 10.3233/978-1-60750-007-0-35 UR - https://doi.org/10.3233/978-1-60750-007-0-35 ER - TY - CPAPER ID - DBLP:conf/sofsem/VogelsJP09 AU - Vogels, Frédéric AU - Jacobs, Bart AU - Piessens, Frank TI - A Machine Checked Soundness Proof for an Intermediate Verification Language. BT - SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings SP - 570 EP - 581 PY - 2009// DO - 10.1007/978-3-540-95891-8_51 UR - https://doi.org/10.1007/978-3-540-95891-8_51 ER - TY - CPAPER ID - DBLP:conf/tacas/VanoverbergheTP09 AU - Vanoverberghe, Dries AU - Tillmann, Nikolai AU - Piessens, Frank TI - Test Input Generation for Programs with Pointers. BT - Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings SP - 277 EP - 291 PY - 2009// DO - 10.1007/978-3-642-00768-2_25 UR - https://doi.org/10.1007/978-3-642-00768-2_25 ER - TY - CPAPER ID - DBLP:journals/entcs/DesmetJMNPPV09 AU - Desmet, Lieven AU - Joosen, Wouter AU - Massacci, Fabio AU - Naliuka, Katsiaryna AU - Philippaerts, Pieter AU - Piessens, Frank AU - Vanoverberghe, Dries TI - The S3MS.NET Run Time Monitor: Tool Demonstration. BT - Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009 SP - 153 EP - 159 PY - 2009// DO - 10.1016/J.ENTCS.2009.11.021 UR - https://doi.org/10.1016/j.entcs.2009.11.021 ER - TY - CHAP ID - DBLP:books/sp/09/WinGJPPY09 AU - Win, Bart De AU - Goovaerts, Tom AU - Joosen, Wouter AU - Philippaerts, Pieter AU - Piessens, Frank AU - Younan, Yves TI - Security Middleware for Mobile Applications. BT - Middleware for Network Eccentric and Mobile Applications SP - 265 EP - 284 PY - 2009// DO - 10.1007/978-3-540-89707-1_12 UR - https://doi.org/10.1007/978-3-540-89707-1_12 ER - TY - JOUR ID - DBLP:journals/istr/DesmetJMPPSV08 AU - Desmet, Lieven AU - Joosen, Wouter AU - Massacci, Fabio AU - Philippaerts, Pieter AU - Piessens, Frank AU - Siahaan, Ida Sri Rejeki AU - Vanoverberghe, Dries TI - Security-by-contract on the .NET platform. JO - Inf. Secur. Tech. Rep. VL - 13 IS - 1 SP - 25 EP - 32 PY - 2008// DO - 10.1016/J.ISTR.2008.02.001 UR - https://doi.org/10.1016/j.istr.2008.02.001 ER - TY - JOUR ID - DBLP:journals/scp/MassacciPM08 AU - Massacci, Fabio AU - Piessens, Frank AU - Mauw, Sjouke TI - Preface. JO - Sci. Comput. Program. VL - 74 IS - 1-2 SP - 1 PY - 2008// DO - 10.1016/J.SCICO.2008.09.002 UR - https://doi.org/10.1016/j.scico.2008.09.002 ER - TY - JOUR ID - DBLP:journals/toplas/JacobsPSLS08 AU - Jacobs, Bart AU - Piessens, Frank AU - Smans, Jan AU - Leino, K. Rustan M. AU - Schulte, Wolfram TI - A programming model for concurrent object-oriented programs. JO - ACM Trans. Program. Lang. Syst. VL - 31 IS - 1 SP - 1:1 EP - 1:48 PY - 2008// DO - 10.1145/1452044.1452045 UR - https://doi.org/10.1145/1452044.1452045 ER - TY - JOUR ID - DBLP:journals/tse/DesmetVJP08 AU - Desmet, Lieven AU - Verbaeten, Pierre AU - Joosen, Wouter AU - Piessens, Frank TI - Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies. JO - IEEE Trans. Software Eng. VL - 34 IS - 1 SP - 50 EP - 64 PY - 2008// DO - 10.1109/TSE.2007.70742 UR - https://doi.org/10.1109/TSE.2007.70742 UR - http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70742 UR - https://www.wikidata.org/entity/Q122962819 ER - TY - CPAPER ID - DBLP:conf/fase/SmansJPS08 AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank AU - Schulte, Wolfram TI - An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. BT - Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings SP - 261 EP - 275 PY - 2008// DO - 10.1007/978-3-540-78743-3_19 UR - https://doi.org/10.1007/978-3-540-78743-3_19 ER - TY - CPAPER ID - DBLP:conf/fis/MassacciPS08 AU - Massacci, Fabio AU - Piessens, Frank AU - Siahaan, Ida Sri Rejeki TI - Security-By-Contract for the Future Internet. BT - Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers SP - 29 EP - 43 PY - 2008// DO - 10.1007/978-3-642-00985-3_3 UR - https://doi.org/10.1007/978-3-642-00985-3_3 ER - TY - CPAPER ID - DBLP:conf/fmoods/SmansJP08 AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank TI - VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. BT - Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings SP - 220 EP - 239 PY - 2008// DO - 10.1007/978-3-540-68863-1_14 UR - https://doi.org/10.1007/978-3-540-68863-1_14 ER - TY - CPAPER ID - DBLP:conf/fmoods/VanoverbergheP08 AU - Vanoverberghe, Dries AU - Piessens, Frank TI - A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language. BT - Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings SP - 240 EP - 258 PY - 2008// DO - 10.1007/978-3-540-68863-1_15 UR - https://doi.org/10.1007/978-3-540-68863-1_15 ER - TY - CPAPER ID - DBLP:conf/oopsla/MoorsPO08 AU - Moors, Adriaan AU - Piessens, Frank AU - Odersky, Martin TI - Generics of a higher kind. BT - Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA SP - 423 EP - 438 PY - 2008// DO - 10.1145/1449764.1449798 UR - https://doi.org/10.1145/1449764.1449798 UR - https://doi.org/10.1145/1449955.1449798 ER - TY - CONF ID - DBLP:conf/esorics/2007rem ED - Massacci, Fabio ED - Piessens, Frank TI - Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, REM@ESORICS 2007, Dresden, Germany, September 27, 2007 T3 - Electronic Notes in Theoretical Computer Science VL - 197 PY - 2008// PB - Elsevier UR - https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/197/issue/1 ER - TY - JOUR ID - DBLP:journals/jot/JacobsP07 AU - Jacobs, Bart AU - Piessens, Frank TI - Inspector Methods for State Abstraction. JO - J. Object Technol. VL - 6 IS - 5 SP - 55 EP - 75 PY - 2007// DO - 10.5381/JOT.2007.6.5.A1 UR - https://doi.org/10.5381/jot.2007.6.5.a1 ER - TY - CPAPER ID - DBLP:conf/ccs/DesmetJMNPPV07 AU - Desmet, Lieven AU - Joosen, Wouter AU - Massacci, Fabio AU - Naliuka, Katsiaryna AU - Philippaerts, Pieter AU - Piessens, Frank AU - Vanoverberghe, Dries TI - A flexible security architecture to support third-party applications on mobile devices. BT - Proceedings of the 2007 ACM workshop on Computer Security Architecture, CSAW 2007, Fairfax, VA, USA, November 2, 2007 SP - 19 EP - 28 PY - 2007// DO - 10.1145/1314466.1314470 UR - https://doi.org/10.1145/1314466.1314470 ER - TY - CPAPER ID - DBLP:conf/icse/VanoverbergheP07 AU - Vanoverberghe, Dries AU - Piessens, Frank TI - Supporting Security Monitor-Aware Development. BT - Third International Workshop on Software Engineering for Secure Systems, SESS 2007, Minneapolis, MN, USA, May 20-26, 2007 SP - 2 PY - 2007// DO - 10.1109/SESS.2007.8 UR - https://doi.org/10.1109/SESS.2007.8 UR - https://doi.ieeecomputersociety.org/10.1109/SESS.2007.8 UR - http://dl.acm.org/citation.cfm?id=1269062 ER - TY - CPAPER ID - DBLP:conf/sefm/JacobsMP07 AU - Jacobs, Bart AU - Müller, Peter AU - Piessens, Frank TI - Sound reasoning about unchecked exceptions. BT - Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK SP - 113 EP - 122 PY - 2007// DO - 10.1109/SEFM.2007.36 UR - https://doi.org/10.1109/SEFM.2007.36 UR - https://doi.ieeecomputersociety.org/10.1109/SEFM.2007.36 ER - TY - CPAPER ID - DBLP:journals/entcs/MassacciP08 AU - Massacci, Fabio AU - Piessens, Frank TI - Preface. BT - Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, REM@ESORICS 2007, Dresden, Germany, September 27, 2007 SP - 1 EP - 2 PY - 2007// DO - 10.1016/J.ENTCS.2007.11.007 UR - https://doi.org/10.1016/j.entcs.2007.11.007 ER - TY - JOUR ID - DBLP:journals/dsonline/VerhannemanPWTJ06 AU - Verhanneman, Tine AU - Piessens, Frank AU - Win, Bart De AU - Truyen, Eddy AU - Joosen, Wouter TI - A Modular Access Control Service for Supporting Application-Specific Policies. JO - IEEE Distributed Syst. Online VL - 7 IS - 6 PY - 2006// DO - 10.1109/MDSO.2006.37 UR - https://doi.org/10.1109/MDSO.2006.37 UR - https://doi.ieeecomputersociety.org/10.1109/MDSO.2006.37 ER - TY - JOUR ID - DBLP:journals/jot/SmansJP06 AU - Smans, Jan AU - Jacobs, Bart AU - Piessens, Frank TI - Static Verification of Code Access Security Policy Compliance of .NET Applications. JO - J. Object Technol. VL - 5 IS - 3 SP - 35 EP - 58 PY - 2006// DO - 10.5381/JOT.2006.5.3.A2 UR - https://doi.org/10.5381/jot.2006.5.3.a2 UR - https://www.wikidata.org/entity/Q108466393 ER - TY - CPAPER ID - DBLP:conf/acsac/YounanPPJ06 AU - Younan, Yves AU - Pozza, Davide AU - Piessens, Frank AU - Joosen, Wouter TI - Extended Protection against Stack Smashing Attacks without Performance Loss. BT - 22nd Annual Computer Security Applications Conference (ACSAC 2006), 11-15 December 2006, Miami Beach, Florida, USA SP - 429 EP - 438 PY - 2006// DO - 10.1109/ACSAC.2006.27 UR - https://doi.org/10.1109/ACSAC.2006.27 UR - https://doi.ieeecomputersociety.org/10.1109/ACSAC.2006.27 ER - TY - CPAPER ID - DBLP:conf/ccs/DesmetPJV06 AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter AU - Verbaeten, Pierre TI - Bridging the gap between web application firewalls and web applications. BT - Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006 SP - 67 EP - 77 PY - 2006// DO - 10.1145/1180337.1180344 UR - https://doi.org/10.1145/1180337.1180344 ER - TY - CPAPER ID - DBLP:conf/icfem/JacobsSPS06 AU - Jacobs, Bart AU - Smans, Jan AU - Piessens, Frank AU - Schulte, Wolfram TI - A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. BT - Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings SP - 420 EP - 439 PY - 2006// DO - 10.1007/11901433_23 UR - https://doi.org/10.1007/11901433_23 ER - TY - CPAPER ID - DBLP:conf/icfp/MoorsPJ06 AU - Moors, Adriaan AU - Piessens, Frank AU - Joosen, Wouter TI - An object-oriented approach to datatype-generic programming. BT - Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006 SP - 96 EP - 106 PY - 2006// DO - 10.1145/1159861.1159875 UR - https://doi.org/10.1145/1159861.1159875 ER - TY - CPAPER ID - DBLP:conf/icics/YounanJP06 AU - Younan, Yves AU - Joosen, Wouter AU - Piessens, Frank TI - Efficient Protection Against Heap-Based Buffer Overflows Without Resorting to Magic. BT - Information and Communications Security, 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings SP - 379 EP - 398 PY - 2006// DO - 10.1007/11935308_27 UR - https://doi.org/10.1007/11935308_27 ER - TY - CPAPER ID - DBLP:conf/icse/WinPJ06 AU - Win, Bart De AU - Piessens, Frank AU - Joosen, Wouter TI - How secure is AOP and what can we do about it? BT - Proceedings of the 2006 international workshop on Software engineering for secure systems, SESS 2006, Shanghai, China, May 20-21, 2006 SP - 27 EP - 34 PY - 2006// DO - 10.1145/1137627.1137633 UR - https://doi.org/10.1145/1137627.1137633 ER - TY - CPAPER ID - DBLP:conf/sigsoft/0002PS06 AU - Jacobs, Bart AU - Piessens, Frank AU - Schulte, Wolfram TI - VC generation for functional behavior and non-interference of iterators. BT - Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006 SP - 67 EP - 70 PY - 2006// DO - 10.1145/1181195.1181209 UR - https://doi.org/10.1145/1181195.1181209 ER - TY - CPAPER ID - DBLP:conf/soco/DesmetPJV06 AU - Desmet, Lieven AU - Piessens, Frank AU - Joosen, Wouter AU - Verbaeten, Pierre TI - Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems. BT - Software Composition - 5th International Symposium, SC@ETAPS 2006, Vienna, Austria, March 25-26, 2006, Revised Papers SP - 34 EP - 49 PY - 2006// DO - 10.1007/11821946_3 UR - https://doi.org/10.1007/11821946_3 ER - TY - CPAPER ID - DBLP:journals/entcs/JacobsSPS07 AU - Jacobs, Bart AU - Smans, Jan AU - Piessens, Frank AU - Schulte, Wolfram TI - A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. BT - Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006 SP - 23 EP - 47 PY - 2006// DO - 10.1016/J.ENTCS.2007.04.005 UR - https://doi.org/10.1016/j.entcs.2007.04.005 ER - TY - JOUR ID - DBLP:journals/sigsoft/VerhannemanPWJ05 AU - Verhanneman, Tine AU - Piessens, Frank AU - Win, Bart De AU - Joosen, Wouter TI - Requirements traceability to support evolution of access control. JO - ACM SIGSOFT Softw. Eng. Notes VL - 30 IS - 4 SP - 1 EP - 7 PY - 2005// DO - 10.1145/1082983.1083212 UR - https://doi.org/10.1145/1082983.1083212 ER - TY - JOUR ID - DBLP:journals/sigsoft/WinPSJ05 AU - Win, Bart De AU - Piessens, Frank AU - Smans, Jan AU - Joosen, Wouter TI - Towards a unifying view on security contracts. JO - ACM SIGSOFT Softw. Eng. Notes VL - 30 IS - 4 SP - 1 EP - 7 PY - 2005// DO - 10.1145/1082983.1083204 UR - https://doi.org/10.1145/1082983.1083204 UR - https://www.wikidata.org/entity/Q113434223 ER - TY - CPAPER ID - DBLP:conf/acsac/VerhannemanPWJ05 AU - Verhanneman, Tine AU - Piessens, Frank AU - Win, Bart De AU - Joosen, Wouter TI - Uniform Application-level Access Control Enforcement of Organizationwide Policies. BT - 21st Annual Computer Security Applications Conference (ACSAC 2005), 5-9 December 2005, Tucson, AZ, USA SP - 431 EP - 440 PY - 2005// DO - 10.1109/CSAC.2005.59 UR - https://doi.org/10.1109/CSAC.2005.59 UR - https://doi.ieeecomputersociety.org/10.1109/CSAC.2005.59 ER - TY - CPAPER ID - DBLP:conf/icse/VerhannemanPWJ05 AU - Verhanneman, Tine AU - Piessens, Frank AU - Win, Bart De AU - Joosen, Wouter TI - Requirements traceability to support evolution of access control. BT - Proceedings of the 2005 Workshop on Software Engineering for Secure Systems - Building Trustworthy Applications, SESS 2005, St. Louis, Missouri, USA, May 15-16, 2005 SP - 1 EP - 7 PY - 2005// DO - 10.1145/1083200.1083212 UR - https://doi.org/10.1145/1083200.1083212 ER - TY - CPAPER ID - DBLP:conf/icse/WinPSJ05 AU - Win, Bart De AU - Piessens, Frank AU - Smans, Jan AU - Joosen, Wouter TI - Towards a unifying view on security contracts. BT - Proceedings of the 2005 Workshop on Software Engineering for Secure Systems - Building Trustworthy Applications, SESS 2005, St. Louis, Missouri, USA, May 15-16, 2005 SP - 1 EP - 7 PY - 2005// DO - 10.1145/1083200.1083204 UR - https://doi.org/10.1145/1083200.1083204 ER - TY - CPAPER ID - DBLP:conf/iwia/YounanJP05 AU - Younan, Yves AU - Joosen, Wouter AU - Piessens, Frank TI - A Methodology for Designing Countermeasures against Current and Future Code Injection Attacks. BT - Proceedings of the 3rd IEEE International Workshop on Information Assurance (IWIA 2005), 23-24 March 2005, College Park, MD, USA SP - 3 EP - 20 PY - 2005// DO - 10.1109/IWIA.2005.2 UR - https://doi.org/10.1109/IWIA.2005.2 UR - https://doi.ieeecomputersociety.org/10.1109/IWIA.2005.2 ER - TY - CPAPER ID - DBLP:conf/sefm/JacobsPLS05 AU - Jacobs, Bart AU - Piessens, Frank AU - Leino, K. Rustan M. AU - Schulte, Wolfram TI - Safe Concurrency for Aggregate Objects with Invariants. BT - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany SP - 137 EP - 147 PY - 2005// DO - 10.1109/SEFM.2005.39 UR - https://doi.org/10.1109/SEFM.2005.39 UR - https://doi.ieeecomputersociety.org/10.1109/SEFM.2005.39 ER - TY - JOUR ID - DBLP:journals/jot/PiessensJTJ04 AU - Piessens, Frank AU - Jacobs, Bart AU - Truyen, Eddy AU - Joosen, Wouter TI - Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature. JO - J. Object Technol. VL - 3 IS - 2 SP - 27 EP - 35 PY - 2004// DO - 10.5381/JOT.2004.3.2.A3 UR - https://doi.org/10.5381/jot.2004.3.2.a3 UR - https://www.wikidata.org/entity/Q122920439 ER - TY - CPAPER ID - DBLP:conf/cms/Desmet0PJ04 AU - Desmet, Lieven AU - Jacobs, Bart AU - Piessens, Frank AU - Joosen, Wouter TI - A Generic Architecture for Web Applications to Support Threat Analysis of Infrastructural Components. BT - Communications and Multimedia Security - 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15-18, 2004, Windermere, The Lake District, United Kingdom SP - 125 EP - 130 PY - 2004// DO - 10.1007/0-387-24486-7_9 UR - https://doi.org/10.1007/0-387-24486-7_9 ER - TY - CPAPER ID - DBLP:conf/cms/DesmetJPJ04 AU - Desmet, Lieven AU - Jacobs, Bart AU - Piessens, Frank AU - Joosen, Wouter TI - Threat Modelling for Web Services Based Web Applications. BT - Communications and Multimedia Security - 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15-18, 2004, Windermere, The Lake District, United Kingdom SP - 131 EP - 144 PY - 2004// DO - 10.1007/0-387-24486-7_10 UR - https://doi.org/10.1007/0-387-24486-7_10 ER - TY - CPAPER ID - DBLP:conf/woss/DesmetJMPJV04 AU - Desmet, Lieven AU - Janssens, Nico AU - Michiels, Sam AU - Piessens, Frank AU - Joosen, Wouter AU - Verbaeten, Pierre TI - Towards preserving correctness in self-managed software systems. BT - Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004 SP - 34 EP - 38 PY - 2004// DO - 10.1145/1075405.1075412 UR - https://doi.org/10.1145/1075405.1075412 ER - TY - JOUR ID - DBLP:journals/iee/PiessensJJ03 AU - Piessens, Frank AU - Jacobs, Bart AU - Joosen, Wouter TI - Software security: experiments on the .NET common language run-time and the shared source common language infrastructure. JO - IEE Proc. Softw. VL - 150 IS - 5 SP - 303 EP - 307 PY - 2003// DO - 10.1049/IP-SEN:20030985 UR - https://doi.org/10.1049/ip-sen:20030985 UR - https://www.wikidata.org/entity/Q113438795 ER - TY - CPAPER ID - DBLP:conf/dais/VerhannemanJWPJ03 AU - Verhanneman, Tine AU - Jaco, Liesbeth AU - Win, Bart De AU - Piessens, Frank AU - Joosen, Wouter TI - Adaptable Access Control Policies for Medical Information Systems. BT - Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings SP - 133 EP - 140 PY - 2003// DO - 10.1007/978-3-540-40010-3_12 UR - https://doi.org/10.1007/978-3-540-40010-3_12 ER - TY - CPAPER ID - DBLP:conf/sec/DeckerNP03 AU - Decker, Bart De AU - Neven, Gregory AU - Piessens, Frank TI - Secure Vickrey Auctions without a Trusted Third Party. BT - Security and Privacy in the Age of Uncertainty, IFIP TC11 18^th International Conference on Information Security (SEC2003), May 26-28, 2003, Athens, Greece SP - 337 EP - 348 PY - 2003// ER - TY - JOUR ID - DBLP:journals/csur/DenysPM02 AU - Denys, G. AU - Piessens, Frank AU - Matthijs, Frank TI - A survey of customizability in operating systems research. JO - ACM Comput. Surv. VL - 34 IS - 4 SP - 450 EP - 468 PY - 2002// DO - 10.1145/592642.592644 UR - https://doi.org/10.1145/592642.592644 ER - TY - CPAPER ID - DBLP:conf/dais/DeckerNPH01 AU - Decker, Bart De AU - Neven, Gregory AU - Piessens, Frank AU - Hoeymissen, Erik Van TI - Second Price Auctions - A Case Study of Secure Distributed Computating. BT - New Developments in Distributed Applications and Interoperable Systems, IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems, September 17-19, 2001, Kraków, Poland SP - 217 EP - 228 PY - 2001// DO - 10.1007/0-306-47005-5_19 UR - https://doi.org/10.1007/0-306-47005-5_19 ER - TY - CPAPER ID - DBLP:conf/sec/HerleaCPNPD01 AU - Herlea, T. AU - Claessens, Joris AU - Preneel, Bart AU - Neven, Gregory AU - Piessens, Frank AU - Decker, Bart De TI - On Securely Scheduling a Meeting. BT - Trusted Information: The New Decade Challenge, IFIP TC11 Sixteenth Annual Working Conference on Information Security (IFIP/Sec'01), June 11-13, 2001, Paris, France SP - 183 EP - 198 PY - 2001// ER - TY - CPAPER ID - DBLP:conf/tc11-5/PiessensDW01 AU - Piessens, Frank AU - Decker, Bart De AU - Win, Bart De TI - Developing secure software. A survey and classification of common software vulnerabilities. BT - Integrity, Internal Control and Security in Information Systems: Connecting Governance and Technology, IFIP TC11/WG11.5 Fourth Working Conference on Integrity, Internal Control and Security in Information Systems, November 15-16, 2001, Brussels, Belgium SP - 27 EP - 40 PY - 2001// ER - TY - CONF ID - DBLP:conf/netsec/2001 ED - Decker, Bart De ED - Piessens, Frank ED - Smits, Jan ED - Herreweghen, Els Van TI - Advances in Network and Distributed Systems Security, IFIP TC11 WG11.4 First Annual Working Conference on Network Security, November 26-27, 2001, Leuven, Belgium T3 - IFIP Conference Proceedings VL - 206 PY - 2001// PB - Kluwer SN - ISBN 0-7923-7558-0 ER - TY - CPAPER ID - DBLP:conf/diagrams/DiskinKPJ00 AU - Diskin, Zinovy AU - Kadish, Boris AU - Piessens, Frank AU - Johnson, Michael TI - Universal Arrow Foundations for Visual Modeling. BT - Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings SP - 345 EP - 360 PY - 2000// DO - 10.1007/3-540-44590-0_30 UR - https://doi.org/10.1007/3-540-44590-0_30 ER - TY - CPAPER ID - DBLP:conf/mata/DeckerPHN00 AU - Decker, Bart De AU - Piessens, Frank AU - Hoeymissen, Erik Van AU - Neven, Gregory TI - Semi-trusted Hosts and Mobile Agents: Enabling Secure Distributed Computations. BT - Mobile Agents for Telecommunication Applications, Second International Workshop, MATA 2000, Paris, France, September 18-20, 2000, Proceedings SP - 219 EP - 232 PY - 2000// DO - 10.1007/3-540-45391-1_18 UR - https://doi.org/10.1007/3-540-45391-1_18 ER - TY - CPAPER ID - DBLP:conf/sec/NevenPD00 AU - Neven, Gregory AU - Piessens, Frank AU - Decker, Bart De TI - On the Practical Feasibiltiy of Secure Distributed Computing: A Case Study. BT - Information Security for Global Information Infrastructures, IFIP TC11 Fifteenth Annual Working Conference on Information Security, August 22-24, 2000, Beijing, China SP - 361 EP - 370 PY - 2000// ER - TY - CHAP ID - DBLP:books/daglib/p/DiskinKP99 AU - Diskin, Zinovy AU - Kadish, Boris AU - Piessens, Frank TI - What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations. BT - Behavioral Specifications of Businesses and Systems SP - 27 EP - 44 PY - 1999// DO - 10.1007/978-1-4615-5229-1_3 UR - https://doi.org/10.1007/978-1-4615-5229-1_3 ER - TY - CPAPER ID - DBLP:conf/amast/PiessensS97 AU - Piessens, Frank AU - Steegmans, Eric TI - Selective Attribute Elimination for Categorial Data Specifications. BT - Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings SP - 424 EP - 436 PY - 1997// DO - 10.1007/BFB0000487 UR - https://doi.org/10.1007/BFb0000487 ER - TY - CPAPER ID - DBLP:conf/iclp/DeneckerBDPS96 AU - Denecker, Marc AU - Belleghem, Kristof Van AU - Duchatelet, Guy AU - Piessens, Frank AU - Schreye, Danny De TI - A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. BT - Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996 SP - 170 EP - 184 PY - 1996// UR - https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278928 ER - TY - CPAPER ID - DBLP:conf/deductive/DeneckerDPBS95 AU - Denecker, Marc AU - Duchatelet, Guy AU - Piessens, Frank AU - Belleghem, Kristof Van AU - Schreye, Danny De TI - Using Event Calculus for Protocol Specification: An Experiment. BT - Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995 SP - 187 EP - 201 PY - 1995// ER - TY - CPAPER ID - DBLP:conf/csl/PiessensS94 AU - Piessens, Frank AU - Steegmans, Eric TI - Canonical Forms for Data-Specifications. BT - Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers SP - 397 EP - 411 PY - 1994// DO - 10.1007/BFB0022271 UR - https://doi.org/10.1007/BFb0022271 ER - TY - CPAPER ID - DBLP:conf/sp/PiessensDJ93 AU - Piessens, Frank AU - Decker, Bart De AU - Janson, Phil TI - Interconnecting domains with heterogeneous key distribution and authentication protocols. BT - 1993 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 24-26, 1993 SP - 66 EP - 79 PY - 1993// DO - 10.1109/RISP.1993.287642 UR - https://doi.org/10.1109/RISP.1993.287642 UR - https://doi.ieeecomputersociety.org/10.1109/RISP.1993.287642 ER -