伟德体育_伟德国际手机1946-在线*平台@
Language
Language
English
Contact
Search
Menu
Deutsch
English
Back
Main Menu
Studies
Open Page "Studies"
Prospective students
Students
School & teachers
Teaching
Open Page "Teaching"
Profile
Open Page "Profile"
Academic Mission Statement
Digitalization & E-Learning
Open Source
Teaching
Open Page "Teaching"
Competence-Oriented Education
Exam design
Organizing Courses
Course Evaluations
General Education Requirements
Lecture series on sustainability
AI in teaching
Digital Teaching
Open Page "Digital Teaching"
Digital Teaching
Digital learning rooms
Digital test formats
Digital test formats
Digital tools
AI in teaching
FAQs
Qualification and service
Open Page "Qualification and service"
Higher Education Development Unit
Writing Center
Internal Professional Development and Further Education
Interdisciplinary Cooperation to Improve Quality in Teacher Education (PLAZ)
Faculty-Specific Initiatives
Internationally Focused Academics
Educational innovations
Open Page "Educational innovations"
Teaching Awards at UPB
Fellowship
Best-Practices Teaching Symposium
Teaching Projects
E-Learning Label
Teaching research networks
Open Page "Teaching research networks"
DH.NRW
Foundation for Innovation in Higher Education
Centre for Higher Mathematics Education (khdm)
Academic quality
Research
Open Page "Research"
Research profile
Open Page "Research profile"
Key research areas
Interdisciplinary research institutes
Research in the faculties
Collaborative Research Centres
Graduate Programmes and Schools
DFG Research Units
DFG Priority Programmes
ERC Grants
Leibniz Prize Winners
Academic career
Open Page "Academic career"
Early career stages
Professorship at Paderborn University
Job portal
University as an employer
Research services
Open Page "Research services"
Funding and application advice
Legal advice in research and development
Ethics Committee
Research Information at UPB
Research data management
Publication Service of the University Library
Open Access Portal
Inventions & patents
Start-ups and entrepreneurship
Network for Interdisciplinary Research
Internal grants (Committee for Research and Junior Academics)
Research culture
Open Page "Research culture"
Research-Oriented Standards on Gender Equality
Gender & Diversity Consulting
Ethics committee
Good Research Practice
Human Resources Strategy for Researchers
Transfer
Open Page "Transfer"
Creating together
Innovating together
Reflecting together
Contacts
International
Open Page "International"
International Profile
International Campus
University
Open Page "University"
About us
Open Page "About us"
Mission Statement
History
Important Personalities and Pioneers
University Society
Alumni
Unishop
Our organisation
Open Page "Our organisation"
Executive Board
Advisory Board
Senate
Faculties
Central University Administration
Central research institutes
Central operating units
Agencies and authorised representatives
Contact points and Advice Centres
University Committees
Working at UPB
Open Page "Working at UPB"
Vacancies
Equality, Compatibility and Diversity
Welcome Services
Personnel development
Scientific career paths
Dual Career Service
Healthy university
Social, sporting and cultural activities
Maps & directions
Faculties
Open Page "Faculties"
Faculty of Arts and Humanities
Faculty of Business Administration and Economics
Faculty of Science
Faculty of Mechanical Engineering
Faculty of Computer Science, Electrical Engineering and Mathematics
Press
Paderborn University
Grey-box TLS Protocol Library State Machine Model Extraction
Overview
Key Facts
Project type:
Forschung
Project duration:
12/2025 - 12/2026
More Information
Principal Investigators
Prof. Dr. Stefan Sauer
Department of Computer Science
About the person
Prof. Dr.-Ing. Juraj Somorovsky
Department of Computer Science
About the person
Cooperating Institutions
Huawei Technologies Duesseldorf GmbH
Cooperating Institution
