Joachim Posegga

90 papers A* 1A 6B 10C 16Misc 7Journal 20Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	FPGA-Accelerated Neural Networks for Real-Time Anomaly Detection using High-Level Synthesis. CPS Summer School, PhD Workshop Anila Hoxha, Shekoufeh Neisarian, Talaya Farasat, Joachim Posegga, Elif Bilge Kavun
2025	J	`jnl`	Optimizing Code Embeddings and ML Classifiers for Python Source Code Vulnerability Detection. CoRR Talaya Farasat, Joachim Posegga
2025	C	`conf`	Optimizing Code Embeddings and ML Classifiers for Python Source code Vulnerability Detection. BDCAT Talaya Farasat, Joachim Posegga
2024	J	`jnl`	Advancing Network Security: A Comprehensive Testbed and Dataset for Machine Learning-Based Intrusion Detection. CoRR Talaya Farasat, JongWon Kim, Joachim Posegga
2024	C	`conf`	MQfilTTr: Strengthening Smart Home Privacy Through MQTT Traffic Manipulation. WISTP Henrich C. Pöhls, Sven Gebauer, Fabian Scharnböck, Korbinian Spielvogel, Joachim Posegga
2024	—	`conf`	Machine Learning Techniques for Python Source Code Vulnerability Detection. CODASPY Talaya Farasat, Joachim Posegga
2024	J	`jnl`	Machine Learning Techniques for Python Source Code Vulnerability Detection. CoRR Talaya Farasat, Joachim Posegga
2024	J	`jnl`	SafePyScript: A Web-Based Solution for Machine Learning-Driven Vulnerability Detection in Python. CoRR Talaya Farasat, Atiqullah Ahmadzai, Aleena Elsa George, Sayed Alisina Qaderi, Dusan Dordevic, Joachim Posegga
2024	J	`jnl`	SmartX Intelligent Sec: A Security Framework Based on Machine Learning and eBPF/XDP. CoRR Talaya Farasat, JongWon Kim, Joachim Posegga
2024	—	`conf`	Unveiling the Shadows: An Approach towards Detection, Precise Localization, and Effective Isolation of Concealed IoT Devices in Unfamiliar Environments. WPES@CCS Emiliia Gelóczi, Henrich C. Pöhls, Felix Klement, Joachim Posegga, Stefan Katzenbeisser
2023	B	`conf`	Machine Learning-based BGP Traffic Prediction. TrustCom Talaya Farasat, Muhammad Ahmad Rathore, Akmal Khan, JongWon Kim, Joachim Posegga
2023	A	`conf`	Poster: SmartX BGP BVT: A First Real-Time BGP Blackholing Visibility Tool. IMC Talaya Farasat, Muhammad Ahmad Rathore, Zeeshan Asim, Akmal Khan, JongWon Kim, Joachim Posegga
2023	—	`ed.`	Security and Trust Management - 19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings STM Ruben Rios, Joachim Posegga
2021	—	`conf`	TLS Beyond the Broker: Enforcing Fine-Grained Security and Trust in Publish/Subscribe Environments for IoT. STM Korbinian Spielvogel, Henrich C. Pöhls, Joachim Posegga
2021	J	`jnl`	TLS Beyond the Broker: Enforcing Fine-grained Security and Trust in Publish/Subscribe Environments for IoT. CoRR Korbinian Spielvogel, Henrich C. Pöhls, Joachim Posegga
2018	—	`conf`	CSP & Co. Can Save Us from a Rogue Cross-Origin Storage Browser Network! But for How Long? CODASPY Juan D. Parra Rodriguez, Joachim Posegga
2018	—	`conf`	Local Storage on Steroids: Abusing Web Browsers for Hidden Content Storage and Distribution. SecureComm (2) Juan D. Parra Rodriguez, Joachim Posegga
2018	A	`conf`	RAPID: Resource and API-Based Detection Against In-Browser Miners. ACSAC Juan D. Parra Rodriguez, Joachim Posegga
2018	Misc	`conf`	When Your Browser Becomes the Paper Boy - An Anonymous Browser Network. SEC Juan D. Parra Rodriguez, Eduard Brehm, Joachim Posegga
2016	—	`conf`	Addressing Data-Centric Security Requirements for IoT-Based Systems. SIoT Juan D. Parra Rodriguez, Daniel Schreckling, Joachim Posegga
2016	—	`conf`	Idea: Enforcing Security Properties by Solving Behavioural Equations. ESSoS Eric Rothstein Morris, Joachim Posegga
2015	—	`ed.`	Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance - 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers DPM/SETOP/QASA Joaquín García-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
2015	—	`conf`	Data-Centric Security for the IoT. IoT 360 (2) Daniel Schreckling, Juan David Parra, Charalampos Doukas, Joachim Posegga
2015	Misc	`conf`	LogSec: adaptive protection for the wild wild web. SAC Bastian Braun, Korbinian Pauli, Joachim Posegga, Martin Johns
2015	C	`conf`	Why Web Servers Should Fear Their Clients - Abusing Websockets in Browsers for DoS. SecureComm Juan D. Parra Rodriguez, Joachim Posegga
2014	Misc	`conf`	A Trusted UI for the Mobile Web. SEC Bastian Braun, Johannes Köstler, Joachim Posegga, Martin Johns
2014	Misc	`conf`	Ghostrail: Ad Hoc Control-Flow Integrity for Web Applications. SEC Bastian Braun, Caspar Gries, Benedikt Petschkuhn, Joachim Posegga
2014	—	`conf`	Identity Management in Platforms Offering IoT as a Service. IoT360 (1) Juan D. Parra Rodriguez, Daniel Schreckling, Joachim Posegga
2014	—	`conf`	On the Relation between Redactable and Sanitizable Signature Schemes. ESSoS Hermann de Meer, Henrich Christopher Pöhls, Joachim Posegga, Kai Samelin
2014	—	`conf`	PhishSafe: leveraging modern JavaScript API's for transparent and robust protection. CODASPY Bastian Braun, Martin Johns, Johannes Köstler, Joachim Posegga
2013	—	`conf`	A Survey on Control-Flow Integrity Means in Web Application Frameworks. NordSec Bastian Braun, Christian v. Pollak, Joachim Posegga
2013	—	`conf`	Control-Flow Integrity in Web Applications. ESSoS Bastian Braun, Patrick Gemein, Hans P. Reiser, Joachim Posegga
2013	C	`conf`	Malleable Signatures for Resource Constrained Platforms. WISTP Henrich Christopher Pöhls, Stefan Peters, Kai Samelin, Joachim Posegga, Hermann de Meer
2013	B	`conf`	Scope of Security Properties of Sanitizable Signatures Revisited. ARES Hermann de Meer, Henrich Christopher Pöhls, Joachim Posegga, Kai Samelin
2013	J	`jnl`	Security and privacy for digital ecosystems. Inf. Secur. Tech. Rep. Ioannis G. Askoxylakis, Mark Manulis, Joachim Posegga
2013	C	`conf`	URANOS: User-Guided Rewriting for Plugin-Enabled ANdroid ApplicatiOn Security. WISTP Daniel Schreckling, Stephan Huber, Focke Höhne, Joachim Posegga
2012	B	`conf`	A User-Level Authentication Scheme to Mitigate Web Session-Based Vulnerabilities. TrustBus Bastian Braun, Stefan Kucher, Martin Johns, Joachim Posegga
2012	J	`jnl`	BIOMICS Project: Biological and Mathematical Basis of Interaction Computing. Int. J. Unconv. Comput. Paolo Dini, Chrystopher L. Nehaniv, Attila Egri-Nagy, Maria J. Schilstra, Daniel Schreckling, Joachim Posegga, Gábor Horváth, Alastair J. Munro
2012	Misc	`conf`	Constroid: data-centric access control for android. SAC Daniel Schreckling, Joachim Posegga, Daniel Hausknecht
2012	C	`conf`	Flexible Redactable Signature Schemes for Trees - Extended Security Model and Construction. SECRYPT Henrich Christopher Pöhls, Kai Samelin, Hermann de Meer, Joachim Posegga
2012	C	`ed.`	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 WISTP Ioannis G. Askoxylakis, Henrich Christopher Pöhls, Joachim Posegga
2012	C	`conf`	Kynoid: Real-Time Enforcement of Fine-Grained, User-Defined, and Data-Centric Security Policies for Android. WISTP Daniel Schreckling, Joachim Posegga, Johannes Köstler, Matthias Schaff
2012	B	`conf`	On Structural Signatures for Tree Data Structures. ACNS Kai Samelin, Henrich Christopher Pöhls, Arne Bilzhause, Joachim Posegga, Hermann de Meer
2012	—	`conf`	Redactable Signature Schemes for Trees with Signer-Controlled Non-Leaf-Redactions. ICETE (Selected Papers) Hermann de Meer, Henrich C. Pöhls, Joachim Posegga, Kai Samelin
2012	C	`conf`	Redactable Signatures for Independent Removal of Structure and Content. ISPEC Kai Samelin, Henrich Christopher Pöhls, Arne Bilzhause, Joachim Posegga, Hermann de Meer
2012	B	`conf`	WebSand: Server-Driven Outbound Web-Application Sandboxing. TrustBus Martin Johns, Joachim Posegga
2011	J	`jnl`	Adaptive Security Architectures for Global Sensing Applications. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Daniel Schreckling, Joachim Posegga
2011	J	`jnl`	Forensic Computing (Dagstuhl Seminar 11401). Dagstuhl Reports Felix C. Freiling, Dirk Heckmann, Radim Polcák, Joachim Posegga
2011	Misc	`conf`	Reliable protection against session fixation attacks. SAC Martin Johns, Bastian Braun, Michael Schrank, Joachim Posegga
2011	B	`conf`	Sanitizable Signatures in XML Signature - Performance, Mixing Properties, and Revisiting the Property of Transparency. ACNS Henrich Christopher Pöhls, Kai Samelin, Joachim Posegga
2011	—	`conf`	Sanitizable signed privacy preferences for social networks. GI-Jahrestagung Henrich Christopher Pöhls, Arne Bilzhause, Kai Samelin, Joachim Posegga
2010	C	`ed.`	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 WISTP Pierangela Samarati, Michael Tunstall, Joachim Posegga, Konstantinos Markantonakis, Damien Sauveron
2010	—	`conf`	Secure Code Generation for Web Applications. ESSoS Martin Johns, Christian Beyerlein, Rosemaria Giesecke, Joachim Posegga
2010	—	`conf`	Session Fixation - The Forgotten Vulnerability? Sicherheit Michael Schrank, Bastian Braun, Martin Johns, Joachim Posegga
2009	B	`conf`	The OPL Access Control Policy Language. TrustBus Christopher Alm, Ruben Wolf, Joachim Posegga
2008	A	`conf`	XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. ACSAC Martin Johns, Björn Engelmann, Joachim Posegga
2007	J	`jnl`	Advances in smart cards. Comput. Networks Josep Domingo-Ferrer, Joachim Posegga, Francesc Sebé, Vicenç Torra
2006	C	`ed.`	Smart Card Research and Advanced Applications, 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings CARDIS Josep Domingo-Ferrer, Joachim Posegga, Daniel Schreckling
2006	C	`conf`	Smartcard Firewalls Revisited. CARDIS Henrich Christopher Pöhls, Joachim Posegga
2004	J	`jnl`	Secure mobile business applications - framework, architecture and implementation. Inf. Secur. Tech. Rep. Thomas Walter, Laurent Bussard, Yves Roudier, Jochen Haller, Roger Kilian-Kehr, Joachim Posegga, Philip Robinson
2002	—	`conf`	Bytecode Model Checking: An Experimental Analysis. SPIN David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga
2002	C	`conf`	Smart Cards in Interaction: Towards Trustworthy Digital Signatures. CARDIS Roger Kilian-Kehr, Joachim Posegga
2001	J	`jnl`	Wireless Internet Security - Aktuelles Schlagwort. Inform. Spektrum Joachim Posegga, Simon Vetter
2000	C	`conf`	How to Turn a GSM SIM into a Web Server. CARDIS Scott B. Guthery, Roger Kehr, Joachim Posegga
2000	J	`jnl`	Mobile agents and telcos' nightmares. Ann. des Télécommunications Günter Karjoth, Joachim Posegga
1999	A*	`conf`	Java Bytecode Verification by Model Checking. CAV David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
1999	J	`jnl`	Jini: Infrastruktur für dynamische Dienste in verteilten Systemen - Aktuelles Schlagwort. Inform. Spektrum Joachim Posegga
1999	—	`conf`	PCA: Jini-based Personal Card Assistant. CQRE Roger Kehr, Joachim Posegga, Harald Vogt
1998	A	`conf`	Byte Code Verification for Java Smart Card Based on Model Checking. ESORICS Joachim Posegga, Harald Vogt
1998	J	`jnl`	Die Sicherheitsaspekte von Java. Inform. Spektrum Joachim Posegga
1998	J	`jnl`	Java auf Chipkarten - Das aktuelle Schlagwort. Inform. Spektrum Matthias Kaiserswerth, Joachim Posegga
1998	—	`ed.`	Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers Services and Visualization: Towards User-Friendly Design Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga
1998	A	`conf`	System Description: CADE Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt
1998	—	`conf`	cardT Australian Joint Conference on Artificial Intelligence Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt
1996	J	`jnl`	Logic Programming as a Basis for Lean Automated Deduction. J. Log. Program. Bernhard Beckert, Joachim Posegga
1995	J	`jnl`	Automated Deduction with Shannon Graphs. J. Log. Comput. Joachim Posegga, Peter H. Schmitt
1995	—	`conf`	LeanEA: A Lean Evolving Algebra Compiler. WLP Bernhard Beckert, Joachim Posegga
1995	B	`ed.`	Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings TABLEAUX Peter Baumgartner, Reiner Hähnle, Joachim Posegga
1995	B	`conf`	leanEA: A Lean Evolving Algebra Compiler. CSL Bernhard Beckert, Joachim Posegga
1995	J	`jnl`	leanTAP: Lean Tableau-based Deduction. J. Autom. Reason. Bernhard Beckert, Joachim Posegga
1994	C	`conf`	BDDs and Automated Deduction. ISMIS Jean Goubault, Joachim Posegga
1994	—	`conf`	Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. WLP Bernhard Beckert, Joachim Posegga
1994	A	`conf`	leanT CADE Bernhard Beckert, Joachim Posegga
1993	C	`conf`	Compiling Proof Search in Semantic Tableaux. ISMIS Joachim Posegga
1993	—	`—`	Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. Joachim Posegga
1992	—	`conf`	Aspects of Consistency Driven Planning. DAISD Guido Moerkotte, Holger Müller, Joachim Posegga
1992	B	`conf`	First-Order Shannon Graphs (Extended Abstract). TABLEAUX Joachim Posegga
1992	—	`conf`	Towards First-order Deduction Based on Shannon Graphs. GWAI Joachim Posegga, Bertram Ludäscher
1991	Misc	`conf`	Consistency Driven Planning. EPIA Martin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga
1990	—	`conf`	Modal logics for AI planning. Expert Planning Systems Jürgen Dix, Joachim Posegga, Peter H. Schmitt