Future Internet

The Internet was designed about 40 years ago, and initially was intended as a means of communication only for a relatively small group of people in academic and research contexts. As we all know, the Internet has meanwhile experienced an enormous growth; the number of hosts and thus the number of users has grown by several orders of magnitude. At the same time, some assumptions that drove the Internet's original design are no longer true today: An increasing number of end devices is mobile and thus frequently changes its location in the topology. Not only some users, but end hosts and even entire networks

Scientists: Stefan Genchev, M. Sc., Prof. Dr. Marc-Oliver Pahl, Lars Wüstrich, M. Sc., Henning Stubbe

Projects: SafeCloud, BaaS, AutHoNe, ResumeNet, EINS, SecFuNet, OpenLab-Eclectic

Publications

2018-02-01 F. Helfert, H. Niedermayer, G. Carle, “Evaluation of Algorithms for Multipath Route Selection over the Internet ,” in 14th International Workshop on Design of Reliable Communication Networks (DRCN), Feb. 2018. [Pdf] [Bib]
2016-09-01 Daniel Sel, Sree Harsha Totakura, Georg Carle, “sKnock: Scalable Port-Knocking for Masses ,” in Workshop on Mobility and Cloud Security & Privacy, Budapest, Hungary, Sep. 2016. [Preprint] [Sourcecode] [Bib]
2016-05-01 Cornelius Diekmann, Julius Michaelis, Maximilian Haslbeck, Georg Carle, “Verified iptables Firewall Analysis,” in IFIP Networking 2016, Vienna, Austria, May 2016. [Url] [Pdf] [Slides] [Sourcecode] [Rawdata] [Bib]
2015-11-01 Cornelius Diekmann, Lukas Schwaighofer, Georg Carle, “Certifying Spoofing-Protection of Firewalls,” in 11th International Conference on Network and Service Management, CNSM, Barcelona, Spain, Nov. 2015. [Url] [Preprint] [Sourcecode] [Rawdata] [DOI] [Bib]
2015-11-01 Cornelius Diekmann, Andreas Korsten, Georg Carle, “Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations,” in 2nd International Workshop on Management of SDN and NFV Systems, manSDN/NFV, Barcelona, Spain, Nov. 2015. [Url] [Preprint] [Slides] [Sourcecode] [DOI] [Bib]
2015-06-01 Cornelius Diekmann, Lars Hupel, Georg Carle, “Semantics-Preserving Simplification of Real-World Firewall Rule Sets,” in 20th International Symposium on Formal Methods, Jun. 2015, pp. 195–212. [Url] [Preprint] [Slides] [Sourcecode] [Rawdata] [DOI] [Bib]
2015-05-01 Marc-Oliver Pahl, “Data-Centric Service-Oriented Management of Things,” in 14th IFIP/IEEE Symposium on Integrated Network and Service Management (IM 2015), Ottawa, Canada, May 2015. [Pdf] [Bib]
2014-09-01 Diego Kreutz, Eduardo Feitosa, Hugo Cunha, Heiko Niedermayer, Holger Kinkelin, “Increasing the Resilience and Trustworthiness of OpenID Identity Providers for Future Networks and Services,” in Ninth International Conference on Availability, Reliability and Security (ARES), Sep. 2014, pp. 317–324. [Bib]
2014-05-01 Cornelius Diekmann, Lars Hupel, Georg Carle, “Directed Security Policies: A Stateful Network Implementation,” in Engineering Safety and Security Systems, Singapore, May 2014, vol. 150, pp. 20–34. [Url] [Pdf] [Preprint] [Slides] [Sourcecode] [DOI] [Bib]
2013-09-01 Marc-Oliver Pahl, Georg Carle, “Taking Smart Space Users Into the Development Loop,” in UbiComp 2013 Adjunct (HomeSys 2013), Zürich, Switzerland, Sep. 2013. [Pdf] [Bib]
2012-10-01 Thomas Kothmayr, Corinna Schmitt, Wen Hu, Michael Bruenig, Georg Carle, “A DTLS Based End-To-End Security Architecture for the Internet of Things with Two-Way Authentication,” in Seventh IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp), Clearwater (FL), USA, Oct. 2012. [Bib]
2011-11-01 Thomas Kothmayr, Wen Hu, Corinna Schmitt, Michael Brünig, Georg Carle, “Securing the Internet of Things with DTLS,” in Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems (SenSys), Poster Session, Seattle, USA, Nov. 2011. [Bib]
2011-09-01 Lothar Braun, Corinna Schmitt, Benoit Claise, Georg Carle, “Compressed IPFIX for smart meters in constrained networks.” Internet-Draft (work in progress), draft-braun-core-compressed-ipfix-03.txt, Sep-2011. [Url] [Bib]
2010-09-01 Alexander Klein, Lothar Braun, Corinna Schmitt, Georg Carle, “MAUS: A Multi-hop Autonomous Sensor Network for Monitoring Applications with Full IP-support,” in Proceedings of the 9. GI/ITG KuVS Fachgespräch Sensornetze (FGSN), Würzburg, Germany, Sep. 2010. [Bib]
2010-08-01 Holger Kinkelin, Andreas Müller, Georg Carle, “Security and Access control for future home networks.” Demo at IPTComm 2010, Munich, Germany, Aug-2010. [Bib]
2010-08-01 Marc-Oliver Pahl, Georg Carle, “Automatic control and Management Platform (ACMP).” Demo at IPTComm 2010, Munich, Germany, Aug-2010. [Url] [Bib]
2010-06-01 Holger Kinkelin, Heiko Niedermayer, Ralph Holz, Georg Carle, “TPM-based Access Control for the Future Internet (ext. abstract),” in 5th GI/ITG KuVS Workshop on Future Internet, Stuttgart, Germany, Jun. 2010. [Bib]
2010-04-01 Corinna Schmitt, Lothar Braun, Thomas Kothmayr, Georg Carle, “Collecting Sensor Data using Compressed IPFIX,” in Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), Poster Session, Stockholm, Sweden, Apr. 2010. [Bib]
2010-03-01 Marc-Oliver Pahl, Andreas Müller, Mario Schuster, Thomas Luckenbach, Christoph Niedermeier, Juergen Reichmann, “AutHoNe - Autonomic Networking.” Celtic News, Mar-2010. [Bib]
2010-02-01 Thomas Kothmayr, Corinna Schmitt, Lothar Braun, Georg Carle, “Gathering Sensor Data in Home Networks with IPFIX,” in Proceedings of the 7th European Conference on Wireless Sensor Networks (EWSN 2010), Coimbra, Portugal, Feb. 2010. [Bib]
2009-10-01 Corinna Schmitt, Lothar Braun, Georg Carle, “IPFIX for Wireless Sensors.” Internet-Draft (work in progress), draft-schmitt-6lowapp-ipfix-ws-00, Oct-2009. [Url] [Bib]
2009-04-01 Marc-Oliver Pahl Thomas Luckenbach Mario Schuster, “An Autonomic Home Networking Infrastructure,” ERCIM News - Special theme: Future Internet Technology, no. 77, p. 41, Apr. 2009. [Url] [Bib]

Student Theses

2016-09-01 Benedikt Engeser, “Informed Route Selection Strategies for Multipath Routing.” MA, Sep-2016. Heiko Niedermayer, Sree Harsha Totakura [Pdf] [Bib]
2016-05-01 Hugues Fafard, “Secure Port-Knocked Communications.” BA, May-2016. Sree Harsha Totakura [Pdf] [Bib]
2016-03-01 Daniel Sel, “Authenticated Scalable Port-Knocking.” BA, Mar-2016. Sree Harsha Totakura, Heiko Niedermayer [Pdf] [Bib]