Welkom...

dr. A.K.I. Remke (Anne)

Universitair hoofddocent

Expertises

Intrusion Detection
Model Checking
Scada Systems
Continuous-Time Markov Chain
Scalability
Instant
Software Design
Numerical Analysis
Stochastic Systems
Architecture
Water
Stochastic Models
Network Protocols
Ad Hoc Networks
Mean-Field Approximation
Testbeds
Embedded Software
Specifications
Sensors
Grid
Strategy
Energy
Outages

Publicaties

Recent
Chromik, J. J., Remke, A., & Haverkort, B. R. (2018). Bro in SCADA: dynamic intrusion detection policies based on a system model. In 5th International Symposium for ICS&SCADA Cyber Security Research (ICS-CSR 2018) (pp. 112-121). Hamburg: BCS Learning & Development Ltd..
Kerkers, M., Chromik, J. J., Remke, A. K. I., & Haverkort, B. R. H. M. (2018). A Tool for Generating Automata of IEC60870-5-104 Implementations. Paper presented at 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, Erlangen, Germany.
Ferling, B., Chromik, J. J., Caselli, M., & Remke, A. K. I. (2018). Intrusion Detection for sequence-based attacks with reduced traffic models. Paper presented at 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, Erlangen, Germany.
Chromik, J. J., Haverkort, B. R. H. M., Remke, A. K. I., Pilch, C., Brackmann, P., Duhme, C., ... Wieland, J. (2017). Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases. Paper presented at 8th IEEE International Conference on Smart Grid Communications, SmartGridComm 2017, Dresden, Germany.
Jongerden, M. R., Hüls, J., Haverkort, B. R. H. M., & Remke, A. K. I. (2016). Assessing the Cost of Energy Independence. In Proceedings of the IEEE International Energy Conference, ENERGYCON 2016 (pp. 1-6). USA: IEEE Power & Energy Society. DOI: 10.1109/ENERGYCON.2016.7514139
Chromik, J. J., Remke, A. K. I., & Haverkort, B. R. H. M. (2016). What's under the hood? Improving SCADA security with process awareness. In Proceedings of the Joint Workshop on Cyber-physical Security and Resilience in Smart Grids (CPSR-SG 2016) (pp. -). USA: IEEE. DOI: 10.1109/CPSRSG.2016.7684100
Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T., & Haverkort, B. R. H. M. (2016). Model checking two layers of mean-field models. In L. Fiondella, & A. Puliafito (Eds.), Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday (pp. 341-369). (Springer series in reliability engineering). London: Springer Verlag. DOI: 10.1007/978-3-319-30599-8_13

Pure Link

Google Scholar Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 5051
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  5051
Postbus 217
7500 AE Enschede