Projects per year
Personal profile
About
Wilfredo Marrero holds a B.A. degree in computer science and mathematics from Columbia University and M.S. and Ph.D. degrees in computer science from Carnegie Mellon University. He began teaching computer science at DePaul University in 1999. His research interests span the broad area of formal methods, especially how they can be applied to computer security. He has worked on hardware verification while spending summers at Intel and at Cadence Berkeley Labs. He developed a model checker called Brutus that can be used to analyze security protocols as well as a validity checker for the temporal logic CTL. He continues to search for ways to apply formal models, logic, and computer automation to aid in the design of complex hardware, software, and security.
Projects
- 2 Finished
-
Global Verification and Dynamic Optimization of Network Security Polices
Al-shaer, E. S. (PI) & Marrero, W. (CoPI)
8/1/07 → 3/31/10
Project: Research project
-
Global Verification and Dynamic Optimization of Network Security Polices
Al-shaer, E. S. (PI) & Marrero, W. (CoPI)
8/1/07 → 3/31/10
Project: Research project
-
Network configuration in a box: Towards end-to-end verification of network reachability and security
Al-Shaer, E., Marrero, W., El-Atawy, A. & ElBadawi, K., 2009, 17th IEEE International Conference on Network Protocols, ICNP '09. IEEE (Institute of Electrical and Electronics Engineers), p. 123-132 10 p. 5339690. (Proceedings - International Conference on Network Protocols, ICNP).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Timed constraint programming: A declarative approach to usage control
Jagadeesan, R., Marrero, W., Pitcher, C. & Saraswat, V., 2005, PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. p. 164-175 12 p. (PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming; vol. 2005).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Using BDDs to decide CTL
Marrero, W., 2005, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3440, p. 222-236 15 p.Research output: Contribution to journal › Conference article › peer-review
-
Efficient verification of security protocols using partial-order reductions
Clarke, E., Jha, S. & Marrero, W., 2003, In: International Journal on Software Tools for Technology Transfer. 4, 2, p. 173-188 16 p.Research output: Contribution to journal › Article › peer-review
-
Partial order reductions for security protocol verification
Clarke, E., Jha, S. & Marrero, W., 2000, Tools and Algorithms for the Construction and Analysis of Systems - 6th Int. Conf., TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Proc.. Springer Verlag, p. 503-518 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1785 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access