Computer and Cyber Science

Research Output

2020

Analysis of iOS SQLite Schema Evolution for Updating Forensic Data Extraction Tools

Shimmi, S. S., Dorai, G., Karabiyik, U. & Aggarwal, S., Jun 2020, 8th International Symposium on Digital Forensics and Security, ISDFS 2020. Varol, A., Karabatak, M., Varol, C. & Karabatak, S. (eds.). Institute of Electrical and Electronics Engineers Inc., 9116208. (8th International Symposium on Digital Forensics and Security, ISDFS 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Classifying common security vulnerabilities by software type

Ezenwoye, O., Liu, Y. & Patten, W., 2020, SEKE 2020 - Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, p. 61-64 4 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. PartF162440).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Confidential gossip

Georgiou, C., Gilbert, S. & Kowalski, D. R., Oct 1 2020, In : Distributed Computing. 33, 5, p. 367-392 26 p.

Research output: Contribution to journalArticle

Design of Visual Deficit Simulation for Integration into a Geriatric Physical Diagnosis Course

Alexander, D., Nguyen, T., Keller, P., Orlosky, J., Brown, S., Wood, E., Ezenwoye, O. & Jirau-Rosaly, W., Mar 2020, Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VRW 2020. Institute of Electrical and Electronics Engineers Inc., p. 839-840 2 p. 9090504. (Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VRW 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Efficient Local Medium Access

Garncarek, P., Jurdzinski, T. & Kowalski, D. R., Jul 6 2020, SPAA 2020 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 247-257 11 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

EMIP: The eye movements in programming dataset

Bednarik, R., Busjahn, T., Gibaldi, A., Ahadi, A., Bielikova, M., Crosby, M., Essig, K., Fagerholm, F., Jbara, A., Lister, R., Orlov, P., Paterson, J., Sharif, B., Sirkiä, T., Stelovsky, J., Tvarozek, J., Vrzakova, H. & van der Linde, I., Oct 15 2020, In : Science of Computer Programming. 198, 102520.

Research output: Contribution to journalArticle

IoT Expunge: Implementing Verifiable Retention of IoT Data

Panwar, N., Sharma, S., Gupta, P., Ghosh, D., Mehrotra, S. & Venkatasubramanian, N., Mar 16 2020, CODASPY 2020 - Proceedings of the 10th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, Inc, p. 283-294 12 p. (CODASPY 2020 - Proceedings of the 10th ACM Conference on Data and Application Security and Privacy).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Obscure: Information-Theoretically Secure, Oblivious, and Verifiable Aggregation Queries

Gupta, P., Li, Y., Mehrotra, S., Panwar, N. & Sharma, S., Mar 16 2020, CODASPY 2020 - Proceedings of the 10th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, Inc, p. 165-167 3 p. (CODASPY 2020 - Proceedings of the 10th ACM Conference on Data and Application Security and Privacy).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Optimal packet-oblivious stable routing in multi-hop wireless networks

Cholvi, V., Garncarek, P., Jurdziński, T. & Kowalski, D. R., 2020, Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Proceedings. Richa, A. W. & Scheideler, C. (eds.). Springer, p. 165-182 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12156 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Optimizing mmWave Wireless Backhaul Scheduling

Arribas, E., Fernández Anta, A., Kowalski, D. R., Mancuso, V., Mosteiro, M. A., Widmer, J. & Wong, P. W. H., Oct 1 2020, In : IEEE Transactions on Mobile Computing. 19, 10, p. 2409-2428 20 p., 8745537.

Research output: Contribution to journalArticle

Polynomial Counting in Anonymous Dynamic Networks with Applications to Anonymous Dynamic Algebraic Computations

Kowalski, D. R. & Mosteiro, M. A., May 4 2020, In : Journal of the ACM. 67, 2, 11.

Research output: Contribution to journalArticle

Open Access

Preface

Gąsieniec, L., Klasing, R. & Radzik, T., 2020, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 12126 LNCS, p. v-vi

Research output: Contribution to journalEditorial

Subquadratic non-adaptive threshold group testing

De Marco, G., Jurdziński, T., Kowalski, D. R., Różański, M. & Stachowiak, G., Aug 2020, In : Journal of Computer and System Sciences. 111, p. 42-56 15 p.

Research output: Contribution to journalArticle

The Properties of the Standard Genetic Code and Its Selected Alternatives in Terms of the Optimal Graph Partition

Aloqalaa, D. A., Kowalski, D. R., Błażej, P., Wnȩtrzak, M., Mackiewicz, D. & Mackiewicz, P., 2020, Biomedical Engineering Systems and Technologies - 12th International Joint Conference, BIOSTEC 2019, Revised Selected Papers. Roque, A., Gamboa, H., Tomczyk, A., De Maria, E., Putze, F., Moucek, R. & Fred, A. (eds.). Springer, p. 170-191 22 p. (Communications in Computer and Information Science; vol. 1211 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Token traversal in ad hoc wireless networks via implicit carrier sensing

Jurdzinski, T., Kowalski, D. R., Rozanski, M. & Stachowiak, G., Apr 2 2020, In : Theoretical Computer Science. 811, p. 3-20 18 p.

Research output: Contribution to journalArticle

Universal stability in multi-hop radio networks

Chlebus, B. S., Cholvi, V. & Kowalski, D. R., Dec 2020, In : Journal of Computer and System Sciences. 114, p. 48-64 17 p.

Research output: Contribution to journalArticle

Using Universal Composition to Design and Analyze Secure Complex Hardware Systems

Canetti, R., Van Dijk, M., Maleki, H., Ruhrmair, U. & Schaumont, P., Mar 2020, Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020. Di Natale, G., Bolchini, C. & Vatajelu, E-I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 520-525 6 p. 9116295. (Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2019

A look at the security and privacy of Fitbit as a health activity tracker

Orlosky, J., Ezenwoye, O., Yates, H. & Besenyi, G., Apr 18 2019, ACMSE 2019 - Proceedings of the 2019 ACM Southeast Conference. Association for Computing Machinery, Inc, p. 241-244 4 p. (ACMSE 2019 - Proceedings of the 2019 ACM Southeast Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Broadcasting on Adversarial Multiple Access Channels

Aldawsari, B. A., Chlebus, B. S. & Kowalski, D. R., Sep 2019, 2019 IEEE 18th International Symposium on Network Computing and Applications, NCA 2019. Gkoulalas-Divanis, A., Marchetti, M. & Avresky, D. R. (eds.). Institute of Electrical and Electronics Engineers Inc., 8935052. (2019 IEEE 18th International Symposium on Network Computing and Applications, NCA 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Fault-Tolerant Parallel Scheduling of Arbitrary Length Jobs on a Shared Channel

Klonowski, M., Kowalski, D. R., Mirek, J. & Wong, P. W. H., Jan 1 2019, Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Proceedings. Gąsieniec, L. A., Jansson, J. & Levcopoulos, C. (eds.). Springer Verlag, p. 306-321 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11651 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Integrating Security into Computer Science Curriculum

Ezenwoye, O., Oct 2019, 2019 IEEE Frontiers in Education Conference, FIE 2019. Institute of Electrical and Electronics Engineers Inc., 9028523. (Proceedings - Frontiers in Education Conference, FIE; vol. 2019-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Linear Search by a Pair of Distinct-Speed Robots

Bampas, E., Czyzowicz, J., Gąsieniec, L., Ilcinkas, D., Klasing, R., Kociumaka, T. & Pająk, D., Jan 15 2019, In : Algorithmica. 81, 1, p. 317-342 26 p.

Research output: Contribution to journalArticle

1 Scopus citations

Mmwave wireless backhaul scheduling of stochastic packet arrivals

Garncarek, P., Jurdzinski, T., Kowalski, D. R. & Mosteiro, M. A., May 2019, Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium, IPDPS 2019. Institute of Electrical and Electronics Engineers Inc., p. 708-717 10 p. 8820979. (Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium, IPDPS 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model-based diagnosis with FTTell: Assessing the potential for pediatric failure to thrive (FTT) during the perinatal stage

Levi-Soskin, N., Shaoul, R., Kohen, H., Jbara, A. & Dori, D., Jan 1 2019, Information Systems: Research, Development, Applications, Education - 12th SIGSAND/PLAIS EuroSymposium 2019, Proceedings. Wrycza, S. & Maslankowski, J. (eds.). Springer Verlag, p. 37-47 11 p. (Lecture Notes in Business Information Processing; vol. 359).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On linear logic, functional programming, and attack trees

Eades, H., Jiang, J. & Bryant, A., Jan 1 2019, Graphical Models for Security - 5th International Workshop, GraMSec 2018, Revised Selected Papers. Pym, D., Cybenko, G. & Fila, B. (eds.). Springer Verlag, p. 71-89 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11086 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On the complexity of fault-tolerant consensus

Kowalski, D. R. & Mirek, J., Jan 1 2019, Networked Systems - 7th International Conference, NETYS 2019, Revised Selected Papers. Atig, M. F. & Schwarzmann, A. A. (eds.). Springer, p. 19-31 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11704 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On the universally composable security of openstack

Hogan, K., Maleki, H., Rahaeimehr, R., Canetti, R., Van Dijk, M., Hennessey, J., Varia, M. & Zhang, H., Sep 2019, Proceedings - 2019 IEEE Secure Development, SecDev 2019. Institute of Electrical and Electronics Engineers Inc., p. 20-33 14 p. 8901675. (Proceedings - 2019 IEEE Secure Development, SecDev 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Optimal Channel Utilization with Limited Feedback

De Marco, G., Jurdziński, T. & Kowalski, D. R., Jan 1 2019, Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Proceedings. Gąsieniec, L. A., Jansson, J. & Levcopoulos, C. (eds.). Springer Verlag, p. 140-152 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11651 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Performing Partially Ordered Sets of Jobs on a MAC in Presence of Adversarial Crashes

Klonowski, M., Kowalski, D. R., Mirek, J. & Wong, P. W. H., Sep 2019, 2019 IEEE 18th International Symposium on Network Computing and Applications, NCA 2019. Gkoulalas-Divanis, A., Marchetti, M. & Avresky, D. R. (eds.). Institute of Electrical and Electronics Engineers Inc., 8935017. (2019 IEEE 18th International Symposium on Network Computing and Applications, NCA 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Stable memoryless queuing under contention

Garncarek, P., Jurdziński, T. & Kowalski, D. R., Oct 2019, 33rd International Symposium on Distributed Computing, DISC 2019. Suomela, J. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 146).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

What language? - The choice of an introductory programming language

Ezenwoye, O., Mar 4 2019, Frontiers in Education: Fostering Innovation Through Diversity, FIE 2018 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 8658592. (Proceedings - Frontiers in Education Conference, FIE; vol. 2018-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Doing-it-All with bounded work and communication

Chlebus, B. S., Gąsieniec, L., Kowalski, D. R. & Schwarzmann, A. A., Jun 1 2017, In : Information and Computation. 254, p. 1-40 40 p.

Research output: Contribution to journalArticle

Robustness of the Rotor–Router Mechanism

Bampas, E., Gąsieniec, L., Hanusse, N., Ilcinkas, D., Klasing, R., Kosowski, A. & Radzik, T., Jul 1 2017, In : Algorithmica. 78, 3, p. 869-895 27 p.

Research output: Contribution to journalArticle

2 Scopus citations

The Complexity of Optimal Design of Temporally Connected Graphs

Akrida, E. C., Gąsieniec, L., Mertzios, G. B. & Spirakis, P. G., Oct 1 2017, In : Theory of Computing Systems. 61, 3, p. 907-944 38 p.

Research output: Contribution to journalArticle

Open Access
14 Scopus citations
2016

Evaluating student learning in an IT curriculum using Bloom's - Webb's Curriculum Taxonomy

Patten, K. P. & Harris, M. A., Sep 28 2016, SIGITE 2016 - Proceedings of the 17th Annual Conference on Information Technology Education. Association for Computing Machinery, Inc, p. 111-114 4 p. (SIGITE 2016 - Proceedings of the 17th Annual Conference on Information Technology Education).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Heuristic algorithm for minimizing the electricity cost of air conditioners on a smart grid

Arikiez, M., Grasso, F., Kowalski, D. & Zito, M., Jul 14 2016, 2016 IEEE International Energy Conference, ENERGYCON 2016. Institute of Electrical and Electronics Engineers Inc., 7513915. (2016 IEEE International Energy Conference, ENERGYCON 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Linear search by a pair of distinct-speed robots

Bampas, E., Czyzowicz, J., Gąsieniec, L., Ilcinkas, D., Klasing, R., Kociumaka, T. & Pająk, D., 2016, Structural Information and Communication Complexity - 23rd International Colloquium, SIROCCO 2016, Revised Selected Papers. Suomela, J. (ed.). Springer Verlag, p. 195-211 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9988 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Markov modeling of moving target defense games

Maleki, H., Valizadeh, S., Koch, W., Bestavros, A. & Van Dijk, M., Oct 24 2016, MTD 2016 - Proceedings of the 2016 ACM Workshop on Moving Target Defense, co-located with CCS 2016. Association for Computing Machinery, Inc, p. 81-92 12 p. (MTD 2016 - Proceedings of the 2016 ACM Workshop on Moving Target Defense, co-located with CCS 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
43 Scopus citations

Measuring the impact of adversarial errors on packet scheduling strategies

Fernández Anta, A., Georgiou, C., Kowalski, D. R., Widmer, J. & Zavou, E., Apr 1 2016, In : Journal of Scheduling. 19, 2, p. 135-152 18 p.

Research output: Contribution to journalArticle

5 Scopus citations

On mobile device security practices and training efficacy: An empirical study

Goyal Chin, A., Etudo, U. & Harris, M. A., 2016, In : Informatics in Education. 15, 2, p. 235-252 18 p.

Research output: Contribution to journalArticle

5 Scopus citations
2015

A look at adaptability for service workflows

Ezenwoye, O. & Sadjadi, S. M., Jan 26 2015, Proceedings - 2014 International Conference on Cloud and Autonomic Computing, ICCAC 2014. Institute of Electrical and Electronics Engineers Inc., p. 50-55 6 p. 7024044. (Proceedings - 2014 International Conference on Cloud and Autonomic Computing, ICCAC 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fundamentals of Computation Theory

Gasieniec, L., Martin, R., Wolter, F. & Wong, P. W. H., Jul 26 2015, In : Theoretical Computer Science. 590, p. 1 1 p.

Research output: Contribution to journalEditorial

Open Access

Message and time efficient multi-broadcast schemes

Levin, L., Kowalski, D. R. & Segal, M., 2015, In : Theoretical Computer Science. 569, C, p. 13-23 11 p.

Research output: Contribution to journalArticle

Open Access
1 Scopus citations

Modeling and Simulating Reconfigurable Networked Service Composites

Ezenwoye, O., Sadjadi, S. M. & Wang, W., Aug 17 2015, Proceedings - 2015 IEEE International Conference on Services Computing, SCC 2015. Chou, W., Maglio, P. P. & Paik, I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 765-768 4 p. 7207428. (Proceedings - 2015 IEEE International Conference on Services Computing, SCC 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On convergence and threshold properties of discrete lotka-volterra population protocols

Czyzowicz, J., Ģasieniec, L., Kosowski, A., Kranakis, E., Spirakis, P. G. & Uznański, P., 2015, Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Proceedings. Halldorsson, M. M., Kobayashi, N., Speckmann, B. & Iwama, K. (eds.). Springer Verlag, p. 393-405 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9134).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Scopus citations

Online parallel scheduling of non-uniform tasks: Trading failures for energy

Fernández Anta, A., Georgiou, C., Kowalski, D. R. & Zavou, E., Jul 26 2015, In : Theoretical Computer Science. 590, p. 129-146 18 p.

Research output: Contribution to journalArticle

Open Access
7 Scopus citations

Position discovery for a system of bouncing robots

Czyzowicz, J., Gąsieniec, L., Kosowski, A., Kranakis, E., Morales-Ponce, O. & Pacheco, E., Oct 1 2015, In : Information and Computation. 244, p. 122-133 12 p.

Research output: Contribution to journalArticle

Open Access
1 Scopus citations

The Beachcombers’ Problem: Walking and searching with mobile robots

Czyzowicz, J., Gąsieniec, L., Georgiou, K., Kranakis, E. & MacQuarrie, F., Dec 1 2015, In : Theoretical Computer Science. 608, p. 201-218 18 p.

Research output: Contribution to journalArticle

Open Access
7 Scopus citations

When patrolmen become corrupted: Monitoring a graph using faulty mobile robots

Czyzowicz, J., Gasieniec, L., Kosowski, A., Kranakis, E., Krizanc, D. & Taleb, N., 2015, Algorithms and Computation - 26th International Symposium, ISAAC 2015, Proceedings. Elbassioni, K. & Makino, K. (eds.). Springer Verlag, p. 343-354 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9472).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations
2014

Collision-free network exploration

Czyzowicz, J., Dereniowski, D., Gasieniec, L., Klasing, R., Kosowski, A. & Paja̧k, D., 2014, LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Proceedings. Springer Verlag, p. 342-354 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8392 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations