Old Stuff

 
PGA - Pretty Good Anonymity
  • A client server system for anonymous Internet access with the following design goals: security, simplicity, low latency, high bandwidth.
  • Funding: University
  • Members: Ronny Standtke and Ulrich Ultes-Nitsche
  • Keywords: anonymity, privacy, security
Janus - The Intelligent Firewall
  • An Intelligent firewall covers both of firewall and intrusion detection systems with the additional ability of anti-virus intrusion detection based on packet-filtering.
  • Funding: University
  • InSeon Yoo and Ulrich Ultes-Nitsche
  • Keywords: network security, machine learning, neural networks
  • read more ...
Vitels - Virtual Internet and Telecommunications Laboratory of Switzerland
  • On-line teaching of a practical telecommunications course.
  • Funding: Swiss Virtual Campus (SVC)
  • Members: Aurelius Baier and Ulrich Ultes-Nitsche
  • Keywords: simulation of IP network, configuration and performance evaluation of a real IP network, management and configuration of a virtual network, firewalls, protocol analysis, Linux system installation and configuration, client/server programming
Verinec - Verified Network Configuration
  • Network configuration based on abstract network definition expressed in XML. Configuration files are automatically generated for the selected networking hardware. Verification is done using a simulator.
  • Funding: Swiss National Science Foundation (SNSF)
  • Members: Dominik Jungo, David Buchmann, and Ulrich Ultes-Nitsche
  • Keywords: automated network configuration verification, automatically generated configuration, network simulation
  • read more ...
E.ProVe(1) - Efficient Property Verification (1)
  • Efficient algorithm development for the inherently fair linear time satisfaction relation. The algorithms base upon an analysis of the structure of the involved finite state automata that represent the system behavior and the property respectively.
  • Funding: Swiss National Science Foundation (SNSF)
  • Members: Thierry Nicolas and Ulrich Ultes-Nitsche
  • Keywords: formal verification, inherently fair linear-time temporal verification, model checking
E.ProVe(2) - Efficient Property Verification (2)
  • Investigation of subclasses of properties which allow an efficient checking algorithm. In particular, consideration of the deterministic properties and development of small representations for this language class by means of special finite state automata.
  • Funding: Hasler Foundation
  • Members: Frank Niessner and Ulrich Ultes-Nitsche
  • Keywords: formal verification, inherently fair linear-time temporal verification, model checking