Security Analysis of Forward Secure Log Sealing in Journald
Dörre, F.; Ottenhues, A.
2025. International Conference on Applied Cryptography and Network Security, 27 S
Dörre, F.; Ottenhues, A.
2025. International Conference on Applied Cryptography and Network Security, 27 S
Kaplan, A.; Keim, J.; Greiner, L.; Sieger, R.; Mirandola, R.; Reussner, R.
2025. Proceedings of the 2025 {IEEE/ACM} 47th International Conference on Software Engineering: Companion Proceedings, {ICSE} Companion 2025, Ottawa, 27th April – 3rd May 2025
Fuchß, D.; Hey, T.; Keim, J.; Liu, H.; Ewald, N.; Thirolf, T.; Koziolek, A.
2025. 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 723–723, Institute of Electrical and Electronics Engineers (IEEE).
Ramadan, M.; Gadekar, P.; Hagenmeyer, V.; Elbez, G.
2025. Title: Proceedings of the 11th International Conference on Information Systems Security and Privacy 2025. Editor: Gabriele Lenzini, Paolo Mori, Steven Furnell (Eds.)
Fuchß, D.; Keim, J.; Koziolek, A.; Hey, T.
2025. International Working Conference on Requirements Engineering (REFSQ 2025)
Hagel, N.; Hili, N.; Bartel, A.; Koziolek, A.
2025. 22nd IEEE International Conference on Software Architecture (ICSA 2025), Institute of Electrical and Electronics Engineers (IEEE)
Marx, N.; Jacob, F.; Hartenstein, H.
2025. PaPoC ’25: 12th Workshop on Principles and Practice of Consistency for Distributed Data, World Trade Center Rotterdam Netherlands, 30 March 2025- 3 April 2025, 15–21, Association for Computing Machinery (ACM).
Soliman, M.; Keim, J.
2025. 22nd IEEE International Conference on Software Architecture (ICSA 2025), Institute of Electrical and Electronics Engineers (IEEE)
Fuchß, D.; Liu, H.; Hey, T.; Keim, J.; Koziolek, A.
2025. 22nd IEEE International Conference on Software Architecture (ICSA 2025)
Reiche, F.; Heinrich, R.
2025. 22nd IEEE International Conference on Software Architecture Companion (ICSA 2025), Institute of Electrical and Electronics Engineers (IEEE)
Pogrzeba, L.; Muschter, E.; Hanisch, S.; Wardhani, V. Y. P.; Strufe, T.; Fitzek, F. H. P.; Li, S.-C.
2025. Scientific Data, 12 (1), Art.-Nr.: 531.
Werner, C.
2025. Nomos.
Veit, M. F.; Wiese, O.; Ballreich, F. L.; Volkamer, M.; Engels, D.; Mayer, P.
2025. Computers & Security, 150, 104197.
Zhao, Q.; Wressnegger, C.
2025. Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence (AAAI)
Wachter, L.; Gremminger, J.; Wressnegger, C.; Payer, M.; Toffalini, F.
2025. Proceedings of the Network and Distributed System Security Symposium (NDSS)
Kaplan, A.; Keim, J.; Greiner, L.; Koziolek, A.; Reussner, R.
2025. Software Engineering 2025 – Companion Proceedings. Ed.: K. Feichtinger, 277–286, Gesellschaft für Informatik (GI).
Hunter, J. C.; Ballreich, F. L.; Kemmler, K. J.; Volkamer, M.
2025. Zeitschrift für Digitalisierung und Recht (ZfDR), 5 (1), 23–43
Angler, Y.; Flessa, S.; Grass, E.; Goetz, O.
2025. Health Policy and Technology, 14 (1), 100955.
Lüttenberg, M.; Zienau, A.; Wiens, M.; Hansen, O.; Diehlmann, F.; Schultmann, F.
2025. Journal of Humanitarian Logistics and Supply Chain Management, 15 (1), 48–60.
Benavides, D.; Sundermann, C.; Feichtinger, K.; Galindo, J. A.; Rabiser, R.; Thüm, T.
2025. Journal of Systems and Software, 112326.
Spiecker genannt Döhmann, I.; Hornung, G.; Simitis, S. (Hrsg.)
2024. Nomos Verlagsgesellschaft
Weyns, D.; Hezavehi, S. M.; Avgeriou, P.; Calinescu, R.; Mirandola, R.; Perez-Palacin, D.
2024. ACM Transactions on Autonomous and Adaptive Systems.
Grass, E.; Pagel, C.; Crowe, S.; Ghafur, S.
2024. Journal of the Operational Research Society, 1–12.
Liu, Q.; Bao, K.; Hagenmeyer, V.
2024. 2024 IEEE International Conference on Big Data (BigData), 5610–5619, Institute of Electrical and Electronics Engineers (IEEE).
Datta, P.; Pal, T.; Yamada, S.
2025. Advances in Cryptology – ASIACRYPT 2024 – 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9–13, 2024, Proceedings, Part I. Ed.: K.-M. Chung, 65–104, Springer Nature Singapore.
Morsbach, F.; Reubold, J. L.; Strufe, T.
2024. Proceedings of the 40th Annual Computer Security Applications Conference
Hegde, A.; Noppel, M.; Wressnegger, C.
2024. Proceedings of the Annual Computer Security Applications Conference (ACSAC), Honolulu, HI, 9th – 13th December 2024
Schichtholz, B. D.; Bless, R.; Jacob, F.; Hartenstein, H.; Zitterbart, M.
2024. Proceedings of the ACM Conext-2024 Workshop on the Decentralization of the Internet (DIN ’24), Los Angeles, CA, USA, December 9–12, 2024, 8–14, Association for Computing Machinery (ACM).
Camilli, M.; Luccioletti, F.; Mirandola, R.; Scandurra, P.
2025. Service-Oriented Computing – 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part II. Ed.: W. Gaaloul, 55–71, Springer Nature Singapore.
Mossano, M.; Volkamer, M.
2025. Human Aspects of Information Security and Assurance : 18th IFIP WG 11.12 International Symposium, HAISA 2024, Skövde, Sweden, July 9–11, 2024, Proceedings, Part I, 215–228, Springer Nature Switzerland.
Sterz, L.; Werner, C.; Raabe, O.
2024. InTeR, 146 (4), 146–153
Zhao, Q.; Wressnegger, C.
2024. Proceedings of the 2024 Workshop on Artificial Intelligence and Security (AISEC), Association for Computing Machinery (ACM).
Vishwesh, V.; Becker, M.; Birnstill, P.; Beyerer, J.
2024. Forum Bildverarbeitung 2024: Hrsg.: T. Längle, 171–182, Karlsruher Institut für Technologie (KIT)
Guerra-Balboa, P.; Sauer, A.; Strufe, T.
2024. WPES ’24: Proceedings of the 23rd Workshop on Privacy in the Electronic Society. Ed.: E. Ayday, 155–171, Association for Computing Machinery (ACM).
Jin, D.; Kannengießer, N.; Rank, S.; Sunyaev, A.
2024. ACM Computing Surveys.
Attar, A. A.; Fabarisov, T.; Bao, K.; Hagenmeyer, V.
2024. 2024 8th International Conference on System Reliability and Safety (ICSRS), 5 S
Hanisch, S.; Pogrzeba, L.; Muschter, E.; Li, S.-C.; Strufe, T.
2024. Scientific Data, 11 (1), Art.-Nr.: 1209.
Armbruster, M.; Weber, T.; König, L.
2024. Softwaretechnik-Trends, 18–20, Gesellschaft für Informatik (GI)
Armbruster, M.
2024. Softwaretechnik-Trends, 42–44, Gesellschaft für Informatik (GI)
Weber, T.; Ojha, M.; Sadeghi, M.; König, L.; Armbruster, M.; Lange, A.; Burger, E.; Atkinson, C.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz Austria, 22nd – 27th September 2024, 760–769, Association for Computing Machinery (ACM).
ter Beek, M. H.; Cleophas, L.; Dubslaff, C.; Schaefer, I.
2025. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Ed.: T. Margaria, 155–161, Springer Nature Switzerland.
Arp, D.; Quiring, E.; Pendlebury, F.; Warnecke, A.; Pierazzi, F.; Wressnegger, C.; Cavallaro, L.; Rieck, K.
2024. Communications of the ACM, 67 (11), 104–112.
Sánchez, G.; Olayinka, O.; Pasikhani, A.
2024. 2024 22nd International Symposium on Network Computing and Applications (NCA), 24-26 October 2024 Bertinoro, Italy, 236–245, Institute of Electrical and Electronics Engineers (IEEE).
Miranda-Pascual, À.; Guerra-Balboa, P.; Parra-Arnau, J.; Strufe, T.
2024. Proceedings of the XVIII Spanish Meeting on Cryptology and Information Security (RECSI), León, 22th – 25st October, 2024
Frank, K.; Mengesdorf, T.; Radić, M.; Herrmann, P.; Appenzeller, A.; Mucha, H.; Orak, B.; Spiecker gen. Döhmann, I.; Rüping, S.; Burkhardt, H.; Köhm, M.; Dauth, S.
2024. Healthcare, 12 (20), Art.-Nr.: 2053.
Khaloopour, L.; Su, Y.; Raskob, F.; Meuser, T.; Bless, R.; Janzen, L.; Abedi, K.; Andjelkovic, M.; Chaari, H.; Chakraborty, P.; Kreutzer, M.; Hollick, M.; Strufe, T.; Franchi, N.; Jamali, V.
2023. IEEE Access, 11.
Erba, A.; Murillo, A. F.; Taormina, R.; Galelli, S.; Tippenhauer, N. O.
2024. Proceedings of the 2024 Workshop on Re-design Industrial Control Systems with Security (RICSS), Association for Computing Machinery (ACM).
Krack, T.; Kopmann, S.; Zitterbart, M.
2024. 2024 IEEE 49th Conference on Local Computer Networks (LCN), Normandy, France, 08-10 October 2024, Institute of Electrical and Electronics Engineers (IEEE).
Moser, F.; Grimm, R.; Hilt, T.; Kirsten, M.; Niederbudde, C.; Volkamer, M.
2024. 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024), Gesellschaft für Informatik (GI)
Moser, F.; Kirsten, M.; Dörre, F.
2024. 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024), Gesellschaft für Informatik (GI)
Nissen, C.; Kulyk, O.; Volkamer, M.; Friedrich, L. E.; Hermansen, H.
2024. 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024)
Hahner, S.; Niehues, N.; Boltz, N.; Fuksa, M.; Heinrich, R.
2024. ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
Hahner, S.; Niehues, N.; Boltz, N.; Fuksa, M.; Heinrich, R.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 640–644, Association for Computing Machinery (ACM).
Weber, T.; Weber, S.
2024. MODELS ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 49–56, Association for Computing Machinery (ACM).
Eynawi, A.; Mumrez, A.; Elbez, G.; Hagenmeyer, V.
2024. 2024 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), 7 S., Institute of Electrical and Electronics Engineers (IEEE).
Kopmann, S.; Zitterbart, M.
2024. IEEE Transactions on Network and Service Management, 1.
Lamberty, R.; Kirste, D.; Kannengießer, N.; Sunyaev, A.
2023. IEEE Access.
Gerlach, L.; Gerking, C.
2024. Formal Aspects of Component Software – 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings. Ed.: D. Marmsoler, 127 – 145, Springer Nature Switzerland.
Miranda-Pascual, À.; Guerra-Balboa, P.; Parra-Arnau, J.; Forné, J.; Strufe, T.
2024. International Journal of Information Security, 23, 3711–3747.
Hilt, T.; Matheis, P.; Volkamer, M.
2024. Mensch und Computer 2024 – Workshopband, September 2024, Karlsruhe, Germany, Gesellschaft für Informatik e.V.
Drescher, J. N.; Moser, J.; Strangmann, N.; Spinner, J.; Herrmann, D.; Volkamer, M.
2024. Proceedings of Mensch und Computer 2024 (MuC’24). Ed. A. Maedche, 8 S., Association for Computing Machinery (ACM).
Ballreich, F. L.; Volkamer, M.
2024. Mensch und Computer 2024 (MuC), Gesellschaft für Informatik (GI).
Noppel, M.; Wressnegger, C.
2024. KI 2024: Advances in Artificial Intelligence – 47th German Conference on AI, Würzburg, Germany, September 25–27, 2024, Proceedings. Ed.: A. Hotho, 350–354, Springer Nature Switzerland.
Guerra-Balboa, P.; Miranda-Pascual, À.; Parra-Arnau, J.; Strufe, T.
2024. 2024 IEEE 37th Computer Security Foundations Symposium (CSF), 8th-12th July 2024.
Aldag, L.; Hennig, A.; Volkamer, M.
2024. Datenschutz und Datensicherheit – DuD, 48 (8), 526–531.
Bindel, N.; Bonnetain, X.; Tiepelt, M.; Virdia, F.
2024. Advances in Cryptology – CRYPTO 2024 – 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2024, Proceedings, Part VI. Ed.: L. Reyzin, 72 – 106, Springer Nature Switzerland.
Kopmann, S.; Krack, T.; Zitterbart, M.
2024. 2024 IEEE International Conference on Machine Learning for Communication and Networking (ICMLCN), Stockholm, 5th-8th May 2024, 1–2, Institute of Electrical and Electronics Engineers (IEEE).
Gerber, N.; Stöver, A.; Mayer, P.
2024. Proceedings of the Twentieth Symposium on Usable Privacy and Security, Advanced Computing Systems Association (USENIX)
Kirste, D.; Poddey, A.; Kannengießer, N.; Sunyaev, A.
2024. Electronic Markets, 34 (1), Art.-Nr.: 42.
Grassi, V.; Mirandola, R.; Perez-Palacin, D.
2024. Journal of Systems and Software, 213, Art.-Nr.: 112051.
Wagner, P. G.; Birnstill, P.; Beyerer, J.
2024. Proceedings of the 19th International Conference on Availability, Reliability and Security, Art.-Nr.: 159, Association for Computing Machinery (ACM).
Kriecherbauer, T.; Schwank, R.; Krauss, A.; Neureither, K.; Remme, L.; Volkamer, M.; Herrmann, D.
2024. ARES ’24: Proceedings of the 19th International Conference on Availability, Reliability and Security, 1–7, Association for Computing Machinery (ACM).
Datta, P.; Pal, T.; Takashima, K.
2024. Designs, Codes, and Cryptography.
Singh, S.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture (ICSA), Hyderabad, 4th-8th June 2024, 12–22, Institute of Electrical and Electronics Engineers (IEEE).
Bairy, A.; Fränzle, M.
2024. Advances in Human Factors of Transportation. Ed.: G. Praetorius, 307–315, AHFE International.
Chaurasia, A. K.; Fallahi, M.; Strufe, T.; Terhörst, P.; Cabarcos, P. A.
2024. Journal of Information Security and Applications, 85, Article no: 103832.
Schwammberger, M.; Mirandola, R.; Wenninghoff, N.
2024. Proceedings of 2nd World Conference on Explainable Artificial Intelligence Conference (XAI2024), Springer
Canbolat, S.; Fruböse, C.; Elbez, G.; Hagenmeyer, V.
2024. 21st Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA ’24)
Radic, M.; Busch-Casler, J.; Vosen, A.; Herrmann, P.; Appenzeller, A.; Mucha, H.; Philipp, P.; Frank, K.; Dauth, S.; Köhm, M.; Orak, B.; Spiecker genannt Döhmann, I.; Böhm, P.
2024. Ethik in der Medizin.
Bayreuther, S.; Berger, R.; Dörre, F.; Mechler, J.; Müller-Quade, J.
2024. Information Security and Privacy. Ed.: T. Zhu. Pt. 2, 330–349, Springer Nature Singapore.
Bartholomae, F.; Wiens, M.
2024. Springer Fachmedien Wiesbaden.
Scherer, P.; Weis, C.; Strufe, T.
2024. Proceedings on Privacy Enhancing Technologies, 2024 (4), 755–783.
Todt, J.; Hanisch, S.; Strufe, T.
2024. Proceedings on Privacy Enhancing Technologies, 2024 (4), 24–43.
Adavoudi Jolfaei, A.; Rupp, A.; Schiffner, S.; Engel, T.
2024. Proceedings on Privacy Enhancing Technologies, 2024 (1), 232–257.
Abou El Wafa, N.; Platzer, A.
2024. Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–15, Association for Computing Machinery (ACM).
Dowerah, U.; Dutta, S.; Hartmann, F.; Mitrokotsa, A.; Mukherjee, S.; Pal, T.
2024. IEEE 9th European Symposium on Security and Privacy (Euro&SP 2024), 860–882, Institute of Electrical and Electronics Engineers (IEEE).
Yang, X.; Liu, Y.; Majumdar, A.; Grass, E.; Ochieng, W.
2024. International Journal of Disaster Risk Reduction, 111, 104653.
Prebet, E.; Platzer, A.
2024. Automated Reasoning. IJCAR 2024. Part 2. Ed.: C. Benzmüller, 196–215, Springer Nature Switzerland.
Winau, M.; Kemmler, K. J.
2024. Neue Zeitschrift für Verwaltungsrecht, 42 (13), 945–1040
Winau, M.; Kemmler, K. J.
2024. Neue Zeitschrift für Verwaltungsrecht, 42 (13), 945–1040
Adrot, A.; Buscher, M.; Fiedrich, F.; Rigaud, E.; Wiens, M.
2024. Journal of Homeland Security and Emergency Management, 21 (2), 141–146.
Schulte, Y.; Heyde, M. van der; Wiens, M.; Fiedrich, F.; Schultmann, F.
2024. Journal of Homeland Security and Emergency Management, 21 (2), 147 – 166.
Bao, K.; Elbez, G.
2024. Forschung für ein resilientes Energiesystem in Zeiten globaler Krisen: Jahrestagung 2023 des ForschungsVerbunds Erneuerbare Energien 10. und 11. Oktober 2023
Hey, T.; Keim, J.; Corallo, S.
2024. 2024 IEEE 32nd International Requirements Engineering Conference (RE’24), Institute of Electrical and Electronics Engineers (IEEE)
Scherer, P.; Weis, C.; Strufe, T.
2024. Proceedings on Privacy Enhancing Technologies, 2024 (2), 141–159.
Nguyen, L. H.; Lins, S.; Renner, M.; Sunyaev, A.
2024. ECIS 2024 Research Papers, AIS eLibrary (AISeL)
Riccio, V.; Sorrentino, G.; Zamponi, E.; Camilli, M.; Mirandola, R.; Scandurra, P.
2024. Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Lissabon, 15th-16th April, 2024, 161 – 167, Association for Computing Machinery (ACM).
Camara, J.; Hahner, S.; Perez-Palacin, D.; Vallecillo, A.; Acosta, M.; Bencomo, N.; Calinescu, R.; Gerasimou, S.
2024. SEAMS ’24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems; New York, 37 – 43, Association for Computing Machinery (ACM).
Keppler, G.; Bonetti, A.; Canbolat, S.; Mumrez, A.; Hagenmeyer, V.; Elbez, G.
2024. 6th Global Power, Energy and Communication Conference (GPECOM2024), Institute of Electrical and Electronics Engineers (IEEE)
Droll, J.; Stengele, O.; Hartenstein, H.
2024. 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 625–629, Institute of Electrical and Electronics Engineers (IEEE).