| C50. |
Chatzieleftheriou,
G., Chatzopoulos, A., Katsaros,
P.
Test-Driving Static Analysis Tools in Search
of C Code Vulnerabilities II (Extended
Abstract), In Proceedings of the
6th International
Symposium On Leveraging Applications of
Formal Methods, Verification and
Validation (ISOLA),
Corfu,
Greece, LNCS 8803, 486-488, Springer Verlag,
2014
(online: http://dx.doi.org/10.1007/978-3-662-45231-8_39)
Keywords: static analysis,
software security, benchmark tests |
|
| C49. |
Stroggylos, K., Mitropoulos,
D., Tzermias, D., Papadopoulos,
P., Rafailidis, F., Spinellis, D.,
Ioannidis, S., Katsaros, P.
Securing Legacy Code
with the TRACER Platform, In Proceedings
of the 18th
Panhellenic Conference on Informatics
(PCI), Athens,
Greece, 26:1--26:6, ACM, 2014
(online:
http://doi.acm.org/10.1145/2645791.2645796)
Keywords: static analysis, software
security |
|
| C48. |
Stroggylos, K., Mitropoulos,
D., Tzermias, D., Papadopoulos,
P., Rafailidis, F., Spinellis, D.,
Ioannidis, S., Katsaros, P.
TRACER: A Platform for
Securing Legacy Code, In Proceedings of
the
7th
International Conference
on Trust and Trustworthy Computing
(TRUST), Heraklion,
Greece, LNCS 8564, 218-219, Springer Verlag,
2014
(online:
http://dx.doi.org/10.1007/978-3-319-08593-7_20)
Keywords: static analysis, software
security |
|
| C47. |
Stergiopoulos, G., Katsaros, P.,
Gritzalis, D. Source code
profiling and classification for automated
detection of logical errors, In
Proceedings of the
3rd International Seminar on Program
Verification, Automated Debugging and Symbolic
Computation (PAS), Vienna,
Austria,
2014
Keywords: source code profiling,
logical errors, static analysis, dynamic
analysis |
|
| C46. |
Deshpande, T., Katsaros, P.,
Smolka, S., Stoller, S.
Stochastic Game-Based Analysis of the DNS
Bandwidth Amplification Attack Using
Probabilistic Model Checking, In
Proceedings of the
10th
European Dependable Computing Conference
(EDCC),
Newcastle,
UK,
IEEE, 226-237,
2014
(online:
http://dx.doi.org/10.1109/EDCC.2014.37)
Keywords: bandwidth amplification
attack, probabilistic model checking,
stochastic games |
|
| C45. |
Stachtiari, E., Vesyropoulos, N., Kourouleas,
G., Georgiadis, C., Katsaros, P.
Correct-by-Construction
Web Service Architecture, In Proceedings
of the 8th Int.
Symposium on Service-Oriented System
Engineering (SOSE),
Oxford,
UK,
IEEE, 47-58,
2014
(online:
http://dx.doi.org/10.1109/SOSE.2014.12)
Keywords: Service-Oriented
Architecture, rigorous design, web services,
correctness-by-construction |
|
