dblp.uni-trier.dewww.uni-trier.de

Felix C. Freiling Vis

Felix C. Gärtner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
90EEThorsten Holz, Markus Engelberth, Felix C. Freiling: Learning More about the Underground Economy: A Case-Study of Keyloggers and Dropzones. ESORICS 2009: 1-18
89EEIoannis Krontiris, Zinaida Benenson, Thanassis Giannetsos, Felix C. Freiling, Tassos Dimitriou: Cooperative Intrusion Detection in Wireless Sensor Networks. EWSN 2009: 263-278
88EECarole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann, Felix C. Freiling, Mahir Kilic: Message-efficient omission-tolerant consensus with limited synchrony. IPDPS 2009: 1-8
87EERainer Böhme, Felix C. Freiling, Thomas Gloe, Matthias Kirchner: Multimedia Forensics Is Not Computer Forensics. IWCF 2009: 90-103
86EENeeraj Mittal, Kuppahalli L. Phaneesh, Felix C. Freiling: Safe termination detection in an asynchronous distributed system when processes may crash and recover. Theor. Comput. Sci. 410(6-7): 614-628 (2009)
2008
85 Irene Eusgeld, Felix C. Freiling, Ralf Reussner: Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30 - November 1, 2005] Springer 2008
84EEZinaida Benenson, Markus Bestehorn, Erik Buchmann, Felix C. Freiling, Marek Jawurek: Query Dissemination with Predictable Reachability and Energy Usage in Sensor Networks. ADHOC-NOW 2008: 279-292
83EEFelix C. Freiling, Christian Lambertz, Mila E. Majster-Cederbaum: Easy Consensus Algorithms for the Crash-Recovery Model. DISC 2008: 507-508
82 Felix C. Freiling, Thorsten Holz, Martin Mink: Reconstructing People's Lives: A Case Study in Teaching Forensic Computing. IMF 2008: 125-142
81EEThorsten Holz, Moritz Steiner, Frederic Dahl, Ernst Biersack, Felix C. Freiling: Measurements and Mitigation of Peer-to-Peer-based Botnets: A Case Study on Storm Worm. LEET 2008
80EEThorsten Holz, Christian Gorecki, Konrad Rieck, Felix C. Freiling: Measuring and Detecting Fast-Flux Service Networks. NDSS 2008
79 Ali Ikinci, Thorsten Holz, Felix C. Freiling: Monkey-Spider: Detecting Malicious Websites with Low-Interaction Honeyclients. Sicherheit 2008: 407-421
78 Michael Becher, Felix C. Freiling: Towards Dynamic Malware Analysis to Increase Mobile Device Security423. Sicherheit 2008: 423-433
77 Felix C. Freiling, Jens Liebchen: Iterative Kompromittierungsgraphverfeinerung als methodische Grundlage für Netzwerkpenetrationstests. Sicherheit 2008: 435-447
76EENeeraj Mittal, Felix C. Freiling, Subbarayan Venkatesan, Lucia Draque Penso: On termination detection in crash-prone distributed systems with failure detectors. J. Parallel Distrib. Comput. 68(6): 855-875 (2008)
2007
75 Christian Cachin, Felix C. Freiling, Jaap-Henk Hoepman: From Security to Dependability, 10.09. - 15.09.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
74EECarole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling, Lucia Draque Penso, Andreas Tielmann: From Crash-Stop to Permanent Omission: Automatic Transformation and Weakest Failure Detectors. DISC 2007: 165-178
73EEFelix C. Freiling, Matthias Majuntke, Neeraj Mittal: On Detecting Termination in the Crash-Recovery Model. Euro-Par 2007: 629-638
72 Harish Daiya, Maximillian Dornseif, Felix C. Freiling: Testing Forensic Hash Tools on Sparse Files. IMF 2007: 113-124
71 Felix C. Freiling, Bastian Schwittay: Towards Reliable Rootkit Detection in Live Response. IMF 2007: 125-144
70 Felix C. Freiling, Bastian Schwittay: A Common Process Model for Incident Response and Computer Forensics. IMF 2007: 19-40
69EEZinaida Benenson, Felix C. Freiling, Peter M. Cholewinski: Advanced Evasive Data Storage in Sensor Networks. MDM 2007: 146-151
68EERoberto Cortiñas, Felix C. Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Draque Penso, Iratxe Soraluze Arriola: Secure Failure Detection in TrustedPals. SSS 2007: 173-188
67EEFelix C. Freiling, Arshad Jhumka: Global Predicate Detection in Distributed Systems with Small Faults. SSS 2007: 296-310
66EECarsten Willems, Thorsten Holz, Felix C. Freiling: Toward Automated Dynamic Malware Analysis Using CWSandbox. IEEE Security & Privacy 5(2): 32-39 (2007)
2006
65 Zinaida Benenson, Felix C. Freiling, Thorsten Holz, Dogan Kesdogan, Lucia Draque Penso: Safety, Liveness, and Information Flow: Dependability Revisited. ARCS Workshops 2006: 56-65
64EEZinaida Benenson, Felix C. Freiling, Birgit Pfitzmann, Christian Rohner, Michael Waidner: Verifiable Agreement: Limits of Non-repudiation in Mobile Peer-to-Peer Ad Hoc Networks. ESAS 2006: 165-178
63EEMilan Fort, Felix C. Freiling, Lucia Draque Penso, Zinaida Benenson, Dogan Kesdogan: TrustedPals: Secure Multiparty Computation Implemented with Smart Cards. ESORICS 2006: 34-48
62EEChristian Cachin, Felix C. Freiling, Jaap-Henk Hoepman: 06371 Abstracts Collection -- From Security to Dependability. From Security to Dependability 2006
61EEChristian Cachin, Felix C. Freiling, Jaap-Henk Hoepman: 06371 Executive Summary -- From Security to Dependability. From Security to Dependability 2006
60 Philip Anderson, Maximillian Dornseif, Felix C. Freiling, Thorsten Holz, Alastrair Irons, Christopher Laing, Martin Mink: A Comparative Study of Teaching Forensics at a University Degree Level. IMF 2006: 116-127
59EEMartin Mink, Felix C. Freiling: Is attack better than defense?: teaching information security the right way. InfoSecCD 2006: 44-48
58EENeeraj Mittal, Kuppahalli L. Phaneesh, Felix C. Freiling: Safe Termination Detection in an Asynchronous Distributed System When Processes May Crash and Recover. OPODIS 2006: 126-141
57EEZinaida Benenson, Lexi Pimenidis, Felix C. Freiling, Stefan Lucks: Authenticated Query Flooding in Sensor Networks. PerCom Workshops 2006: 644-647
56EEPaul Baecher, Markus Koetter, Thorsten Holz, Maximillian Dornseif, Felix C. Freiling: The Nepenthes Platform: An Efficient Approach to Collect Malware. RAID 2006: 165-184
55EEZinaida Benenson, Felix C. Freiling, Ernest Hammerschmidt, Stefan Lucks, Lexi Pimenidis: Authenticated Query Flooding in Sensor Networks. SEC 2006: 38-49
54EETimo Warns, Felix C. Freiling, Wilhelm Hasselbring: Solving Consensus Using Structural Failure Models. SRDS 2006: 212-224
53EEFelix C. Freiling, Matthias Majuntke, Neeraj Mittal: Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures. SSS 2006: 572-573
52 Hans-Georg Eßer, Felix C. Freiling: Kapazitätsmessung eines verdeckten Zeitkanals über HTTP. Sicherheit 2006: 115-118
51EEArshad Jhumka, Felix C. Freiling, Christof Fetzer, Neeraj Suri: An approach to synthesise safe systems. IJSN 1(1/2): 62-74 (2006)
50EEFelix C. Freiling, Hagen Völzer: Illustrating the impossibility of crash-tolerant consensus in asynchronous systems. Operating Systems Review 40(2): 105-109 (2006)
2005
49EENeeraj Mittal, Felix C. Freiling, Subbarayan Venkatesan, Lucia Draque Penso: Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System. DISC 2005: 93-107
48EEIrene Eusgeld, Felix C. Freiling: Introduction to Dependability Metrics. Dependability Metrics 2005: 1-4
47EEFelix C. Freiling: Introduction to Security Metrics. Dependability Metrics 2005: 129-132
46EEFelix C. Freiling, Max Walter: Reliability vs. Security: A Subjective Overview. Dependability Metrics 2005: 255-257
45EERainer Böhme, Felix C. Freiling: On Metrics and Measurements. Dependability Metrics 2005: 7-13
44EEGildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic: Gracefully Degrading Fair Exchange with Security Modules. EDCC 2005: 55-71
43EEFelix C. Freiling, Thorsten Holz, Georg Wicherski: Botnet Tracking: Exploring a Root-Cause Methodology to Prevent Distributed Denial-of-Service Attacks. ESORICS 2005: 319-335
42EEMarc Shapiro, Idit Keidar, Felix C. Freiling, Luís Rodrigues: Topic 8 - Distributed Systems and Algorithms. Euro-Par 2005: 593
41 Felix C. Freiling, Neeraj Mittal, Lucia Draque Penso: Transformations in Secure and Fault-Tolerant Distributed Computation. GI Jahrestagung (1) 2005: 410-412
40 Zinaida Benenson, Peter M. Cholewinski, Felix C. Freiling: Simple Evasive Data Storage in Sensor Networks. IASTED PDCS 2005: 779-784
39EECarole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling: Revisiting Failure Detection and Consensus in Omission Failure Environments. ICTAC 2005: 394-408
38EEFelix C. Freiling, Maurice Herlihy, Lucia Draque Penso: Optimal Randomized Fair Exchange with Secret Shared Coins. OPODIS 2005: 61-72
37EEFelix C. Freiling, Sukumar Ghosh: Code Stabilization. Self-Stabilizing Systems 2005: 128-139
36 Zinaida Benenson, Felix C. Gärtner, Dogan Kesdogan: Secure Multi-Party Computation with Security Modules. Sicherheit 2005: 41-52
2004
35EEChristian Bunse, Felix C. Freiling, Nicole Lévy: A Taxonomy on Component-Based Software Engineering Methods. Architecting Systems with Trustworthy Components 2004: 103-119
34EEFelix C. Freiling, Thomas Santen: On the Composition of Compositional Reasoning. Architecting Systems with Trustworthy Components 2004: 137-151
33 Maximillian Dornseif, Felix C. Gärtner, Thorsten Holz: Ermittlung von Verwundbarkeiten mit elektronischen Ködern. DIMVA 2004: 129-141
32EEFelix C. Gärtner, Arshad Jhumka: Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. FORMATS/FTRTFT 2004: 183-198
31 Zinaida Benenson, Felix C. Gärtner, Dogan Kesdogan: User Authentication in Sensor Networks. GI Jahrestagung (2) 2004: 385-389
30 Alejandro P. Buchmann, Christof Bornhövd, Mariano Cilia, Ludger Fiege, Felix C. Gärtner, Christoph Liebig, Matthias Meixner, Gero Mühl: DREAM: Distributed Reliable Event-Based Application Management. Web Dynamics 2004: 319-352
29EEMaximillian Dornseif, Felix C. Gärtner, Thorsten Holz: Ermittlung von Verwundbarkeiten mit elektronischen Koedern CoRR cs.CR/0406059: (2004)
2003
28EEFelix C. Gärtner, Klaus Kursawe, Levente Buttyán: PoDSy 2003: Principles of Dependable Systems. DSN 2003: 763
27 Felix C. Gärtner: Byzantine Failures and Security: Arbitrary is not (always) Random. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 127-138
26EELudger Fiege, Felix C. Gärtner, Oliver Kasten, Andreas Zeidler: Supporting Mobility in Content-Based Publish/Subscribe Middleware. Middleware 2003: 103-122
25 Ludger Fiege, Andreas Zeidler, Felix C. Gärtner, Sidath B. Handurukande: Dealing with Uncertainty in Mobile Publish/Subscribe Middleware. Middleware Workshops 2003: 60-67
24EEJürgen Bohn, Felix C. Gärtner, Harald Vogt: Dependability Issues of Pervasive Computing in a Healthcare Environment. SPC 2003: 53-70
23EEFelix C. Gärtner, Henning Pagnia: Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures. Self-Stabilizing Systems 2003: 154-168
22EEHenning Pagnia, Holger Vogt, Felix C. Gärtner: Fair Exchange. Comput. J. 46(1): 55-75 (2003)
21EEFelix C. Gärtner, Levente Buttyán, Klaus Kursawe: Dependable Systems: Podsy Workshop Report - From Fault Tolerance to Security and Back. IEEE Distributed Systems Online 4(9): (2003)
20 Holger Vogt, Felix C. Gärtner, Henning Pagnia: Supporting Fair Exchange in Mobile Environments. MONET 8(2): 127-136 (2003)
19EEFelix C. Gärtner: Beobachten des Internet: Traum und Wirklichkeit. it - Information Technology 45(6): (2003)
2002
18EEFelix C. Gärtner, Stefan Pleisch: Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection. DISC 2002: 280-294
17EEFelix C. Gärtner: Revisiting Liveness Properties in the Context of Secure Systems. FASec 2002: 221-238
16EEGero Mühl, Ludger Fiege, Felix C. Gärtner, Alejandro P. Buchmann: Evaluating Advanced Routing Algorithms for Content-Based Publish/Subscribe Systems. MASCOTS 2002: 167-176
15EELudger Fiege, Gero Mühl, Felix C. Gärtner: A modular approach to build structured event-based systems. SAC 2002: 385-392
2001
14EEHolger Vogt, Henning Pagnia, Felix C. Gärtner: Using Smart Cards for Fair Exchange. WELCOM 2001: 101-113
13EEFelix C. Gärtner, Stefan Pleisch: (Im)Possibilities of Predicate Detection in Crash-Affected Systems. WSS 2001: 98-113
2000
12 Henning Pagnia, Holger Vogt, Felix C. Gärtner, Uwe G. Wilhelm: Solving Fair Exchange with Mobile Agents. ASA/MA 2000: 57-72
11 Heiko Mantel, Felix C. Gärtner: A Case Study in the Mechanical Verification of Fault Tolerance. FLAIRS Conference 2000: 341-345
10EEFelix C. Gärtner, Sven Kloppenburg: Consistent Detection of Global Predicates under a Weak Fault Assumption. SRDS 2000: 94-103
9 Heiko Mantel, Felix C. Gärtner: A case study in the mechanical verification of fault tolerance. J. Exp. Theor. Artif. Intell. 12(4): 473-487 (2000)
1999
8EEHolger Vogt, Henning Pagnia, Felix C. Gärtner: Modular Fair Exchange Protocols for Electronic Commerce. ACSAC 1999: 3-11
7 Felix C. Gärtner, Marc Theisen: Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung. GI Jahrestagung 1999: 207-214
6EEFelix C. Gärtner, Henning Pagnia, Holger Vogt: Approaching a Formal Definition of Fairness in Electronic Commerce. SRDS 1999: 354-359
5 Felix C. Gärtner, Henning Pagnia: Self-stabilizing load distribution for replicated servers on a per-access basis. WSS 1999: 102-109
4 Oliver E. Theel, Felix C. Gärtner: An exercise in proving convergence through transfer functions. WSS 1999: 41-47
3EEFelix C. Gärtner: Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments. ACM Comput. Surv. 31(1): 1-26 (1999)
2EEFelix C. Gärtner: Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification. J. UCS 5(10): 668-692 (1999)
1998
1 Felix C. Gärtner: Aller Jahre wieder ... Eine fiktive Leidensgeschichte. Informatik Spektrum 21(3): 161 (1998)

Coauthor Index

1Philip Anderson [60]
2Iratxe Soraluze Arriola [68]
3Gildas Avoine [44]
4Paul Baecher [56]
5Michael Becher [78]
6Zinaida Benenson [31] [36] [40] [55] [57] [63] [64] [65] [69] [84] [89]
7Markus Bestehorn [84]
8Ernst W. Biersack (Ernst Biersack) [81]
9Rainer Böhme [45] [87]
10Jürgen Bohn [24]
11Christof Bornhövd [30]
12Alejandro P. Buchmann [16] [30]
13Erik Buchmann [84]
14Christian Bunse [35]
15Levente Buttyán [21] [28]
16Christian Cachin [61] [62] [75]
17Peter M. Cholewinski [40] [69]
18Mariano Cilia [30]
19Roberto Cortiñas [68]
20Frederic Dahl [81]
21Harish Daiya [72]
22Carole Delporte-Gallet (Carole Delporte) [39] [74] [88]
23Tassos Dimitriou [89]
24Maximillian Dornseif [29] [33] [56] [60] [72]
25Markus Engelberth [90]
26Hans-Georg Eßer [52]
27Irene Eusgeld [48] [85]
28Hugues Fauconnier [39] [74] [88]
29Christof Fetzer [51]
30Ludger Fiege [15] [16] [25] [26] [30]
31Milan Fort [63]
32Marjan Ghajar-Azadanlou [68]
33Sukumar Ghosh [37]
34Thanassis Giannetsos [89]
35Thomas Gloe [87]
36Christian Gorecki [80]
37Rachid Guerraoui [44]
38Ernest Hammerschmidt [55]
39Sidath B. Handurukande [25]
40Wilhelm Hasselbring [54]
41Maurice Herlihy [38]
42Jaap-Henk Hoepman [61] [62] [75]
43Thorsten Holz [29] [33] [43] [56] [60] [65] [66] [79] [80] [81] [82] [90]
44Ali Ikinci [79]
45Alastrair Irons [60]
46Marek Jawurek [84]
47Arshad Jhumka [32] [51] [67]
48Oliver Kasten [26]
49Idit Keidar [42]
50Dogan Kesdogan [31] [36] [63] [65]
51Mahir Kilic [88]
52Matthias Kirchner [87]
53Sven Kloppenburg [10]
54Markus Koetter [56]
55Ioannis Krontiris [89]
56Klaus Kursawe [21] [28]
57Alberto Lafuente [68]
58Christopher Laing [60]
59Christian Lambertz [83]
60Mikel Larrea [68]
61Nicole Lévy [35]
62Jens Liebchen [77]
63Christoph Liebig [30]
64Stefan Lucks [55] [57]
65Mila E. Majster-Cederbaum [83]
66Matthias Majuntke [53] [73]
67Heiko Mantel [9] [11]
68Matthias Meixner [30]
69Martin Mink [59] [60] [82]
70Neeraj Mittal [41] [49] [53] [58] [73] [76] [86]
71Gero Mühl [15] [16] [30]
72Henning Pagnia [5] [6] [8] [12] [14] [20] [22] [23]
73Lucia Draque Penso (Lucia Draque Penso Rautenbach) [38] [41] [49] [63] [65] [68] [74] [76]
74Birgit Pfitzmann [64]
75Kuppahalli L. Phaneesh [58] [86]
76Lexi Pimenidis [55] [57]
77Stefan Pleisch [13] [18]
78Ralf Reussner (Ralf H. Reussner) [85]
79Konrad Rieck [80]
80Luís Rodrigues [42]
81Christian Rohner [64]
82Thomas Santen [34]
83Bastian Schwittay [70] [71]
84Marc Shapiro [42]
85Moritz Steiner [81]
86Neeraj Suri [51]
87Oliver E. Theel [4]
88Marc Theisen [7]
89Andreas Tielmann [74] [88]
90Subbarayan Venkatesan [49] [76]
91Harald Vogt [24]
92Holger Vogt [6] [8] [12] [14] [20] [22]
93Hagen Völzer [50]
94Marko Vukolic [44]
95Michael Waidner [64]
96Max Walter [46]
97Timo Warns [54]
98Georg Wicherski [43]
99Uwe G. Wilhelm [12]
100Carsten Willems [66]
101Andreas Zeidler [25] [26]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)