Marian Borek

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 4

Top Venues

NTMS

ICISSP

ER Workshops

MDsec@MoDELS

University of Augsburg, Germany (PHD)

Education History

University of Augsburg, Germany

PHD

Publications

Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif
Secure Integration of Third Party Components in a Model-Driven Approach. Trans. Large Scale Data Knowl. Centered Syst. 30 (2016)
Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
Declassification of Information with Complex Filter Functions. ICISSP (2016)
Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif
Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach. ER Workshops (2015)
Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif
Modeling information flow properties with UML. NTMS (2015)
Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
A Model-Driven Approach to Noninterference. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 5 (3) (2014)
Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
Formalizing Information Flow Control in a Model-Driven Approach. ICT-EurAsia (2014)
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
Modeling test cases for security protocols with SecureMDD. Comput. Networks 58 (2014)
Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
Security requirements formalized with OCL in a model-driven approach. MoDRE (2013)
Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif
Model-Driven Development of Information Flow-Secure Systems with IFlow. SocialCom (2013)
Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
Model Checking of Security-Critical Applications in a Model-Driven Approach. SEFM (2013)
Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
Model-Driven Development of Secure Service Applications. SEW (2012)
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
Model-Driven Testing of Security Protocols with SecureMDD. NTMS (2012)
Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
Incremental development of large, secure smart card applications. MDsec@MoDELS (2012)

Marian Borek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marian Borek