Felix C. Freiling

Felix C. Gärtner

	2009
92		Thorsten Holz, Markus Engelberth, Felix C. Freiling: Learning More about the Underground Economy: A Case-Study of Keyloggers and Dropzones. ESORICS 2009: 1-18
91		Ioannis Krontiris, Zinaida Benenson, Thanassis Giannetsos, Felix C. Freiling, Tassos Dimitriou: Cooperative Intrusion Detection in Wireless Sensor Networks. EWSN 2009: 263-278
90		Christian Moch, Felix C. Freiling: The Forensic Image Generator Generator (Forensig2). IMF 2009: 78-93
89		Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann, Felix C. Freiling, Mahir Kilic: Message-efficient omission-tolerant consensus with limited synchrony. IPDPS 2009: 1-8
88		Rainer Böhme, Felix C. Freiling, Thomas Gloe, Matthias Kirchner: Multimedia Forensics Is Not Computer Forensics. IWCF 2009: 90-103
87		Felix C. Freiling, Christian Lambertz, Mila E. Majster-Cederbaum: Modular Consensus Algorithms for the Crash-Recovery Model. PDCAT 2009: 287-292
86		Neeraj 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
84		Zinaida 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
83		Felix 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
81		Thorsten 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
80		Thorsten 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
76		Neeraj 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
74		Carole 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
73		Felix 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
69		Zinaida Benenson, Felix C. Freiling, Peter M. Cholewinski: Advanced Evasive Data Storage in Sensor Networks. MDM 2007: 146-151
68		Roberto 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
67		Felix C. Freiling, Arshad Jhumka: Global Predicate Detection in Distributed Systems with Small Faults. SSS 2007: 296-310
66		Carsten 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
64		Zinaida 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
63		Milan Fort, Felix C. Freiling, Lucia Draque Penso, Zinaida Benenson, Dogan Kesdogan: TrustedPals: Secure Multiparty Computation Implemented with Smart Cards. ESORICS 2006: 34-48
62		Christian Cachin, Felix C. Freiling, Jaap-Henk Hoepman: 06371 Abstracts Collection -- From Security to Dependability. From Security to Dependability 2006
61		Christian 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, Alastair Irons, Christopher Laing, Martin Mink: A Comparative Study of Teaching Forensics at a University Degree Level. IMF 2006: 116-127
59		Martin Mink, Felix C. Freiling: Is attack better than defense?: teaching information security the right way. InfoSecCD 2006: 44-48
58		Neeraj 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
57		Zinaida Benenson, Lexi Pimenidis, Felix C. Freiling, Stefan Lucks: Authenticated Query Flooding in Sensor Networks. PerCom Workshops 2006: 644-647
56		Paul Baecher, Markus Koetter, Thorsten Holz, Maximillian Dornseif, Felix C. Freiling: The Nepenthes Platform: An Efficient Approach to Collect Malware. RAID 2006: 165-184
55		Zinaida Benenson, Felix C. Freiling, Ernest Hammerschmidt, Stefan Lucks, Lexi Pimenidis: Authenticated Query Flooding in Sensor Networks. SEC 2006: 38-49
54		Timo Warns, Felix C. Freiling, Wilhelm Hasselbring: Solving Consensus Using Structural Failure Models. SRDS 2006: 212-224
53		Felix 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
51		Arshad Jhumka, Felix C. Freiling, Christof Fetzer, Neeraj Suri: An approach to synthesise safe systems. IJSN 1(1/2): 62-74 (2006)
50		Felix C. Freiling, Hagen Völzer: Illustrating the impossibility of crash-tolerant consensus in asynchronous systems. Operating Systems Review 40(2): 105-109 (2006)
	2005
49		Neeraj 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
48		Irene Eusgeld, Felix C. Freiling: Introduction to Dependability Metrics. Dependability Metrics 2005: 1-4
47		Felix C. Freiling: Introduction to Security Metrics. Dependability Metrics 2005: 129-132
46		Felix C. Freiling, Max Walter: Reliability vs. Security: A Subjective Overview. Dependability Metrics 2005: 255-257
45		Rainer Böhme, Felix C. Freiling: On Metrics and Measurements. Dependability Metrics 2005: 7-13
44		Gildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic: Gracefully Degrading Fair Exchange with Security Modules. EDCC 2005: 55-71
43		Felix C. Freiling, Thorsten Holz, Georg Wicherski: Botnet Tracking: Exploring a Root-Cause Methodology to Prevent Distributed Denial-of-Service Attacks. ESORICS 2005: 319-335
42		Marc 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
39		Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling: Revisiting Failure Detection and Consensus in Omission Failure Environments. ICTAC 2005: 394-408
38		Felix C. Freiling, Maurice Herlihy, Lucia Draque Penso: Optimal Randomized Fair Exchange with Secret Shared Coins. OPODIS 2005: 61-72
37		Felix 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
35		Christian Bunse, Felix C. Freiling, Nicole Lévy: A Taxonomy on Component-Based Software Engineering Methods. Architecting Systems with Trustworthy Components 2004: 103-119
34		Felix 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
32		Felix 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
29		Maximillian Dornseif, Felix C. Gärtner, Thorsten Holz: Ermittlung von Verwundbarkeiten mit elektronischen Koedern CoRR cs.CR/0406059: (2004)
	2003
28		Felix 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
26		Ludger 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
24		Jürgen Bohn, Felix C. Gärtner, Harald Vogt: Dependability Issues of Pervasive Computing in a Healthcare Environment. SPC 2003: 53-70
23		Felix C. Gärtner, Henning Pagnia: Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures. Self-Stabilizing Systems 2003: 154-168
22		Henning Pagnia, Holger Vogt, Felix C. Gärtner: Fair Exchange. Comput. J. 46(1): 55-75 (2003)
21		Felix 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)
19		Felix C. Gärtner: Beobachten des Internet: Traum und Wirklichkeit. it - Information Technology 45(6): (2003)
	2002
18		Felix C. Gärtner, Stefan Pleisch: Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection. DISC 2002: 280-294
17		Felix C. Gärtner: Revisiting Liveness Properties in the Context of Secure Systems. FASec 2002: 221-238
16		Gero 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
15		Ludger Fiege, Gero Mühl, Felix C. Gärtner: A modular approach to build structured event-based systems. SAC 2002: 385-392
	2001
14		Holger Vogt, Henning Pagnia, Felix C. Gärtner: Using Smart Cards for Fair Exchange. WELCOM 2001: 101-113
13		Felix 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
10		Felix 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
8		Holger 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
6		Felix 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
3		Felix C. Gärtner: Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments. ACM Comput. Surv. 31(1): 1-26 (1999)
2		Felix 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

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

Colors in the list of coauthors