Veena Ravishankar

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 9

Top Topics

Programming Assignments

Cryptographic Algorithms

Top Venues

Publications

Veena Ravishankar, Jessica Zeitz
Student (Self) Assessment, Feedback, and Relatability in CS-2 Game Programming Assignments. SIGCSE (2) (2024)
Veena Ravishankar, Andrew M. Marshall
Teaching an Undergraduate 5G Technology and Security Course, and Its Outcomes. SIGCSE (2) (2023)
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. GandALF (2022)
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. FroCoS (2021)
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). UNIF (2020)
Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar
On Asymmetric Unification for the Theory of XOR with a Homomorphism. FroCos (2019)
Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar
On Asymmetric Unification for the Theory of XOR with a Homomorphism. CoRR (2019)
Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran
Asymmetric Unification and Disunification. Description Logic, Theory Combination, and All That (2019)
Veena Ravishankar, Kimberly A. Gero, Paliath Narendran
Asymmetric Unification and Disunification. CoRR (2017)
Tomek Strzalkowski, Samira Shaikh, Ting Liu, George Aaron Broadwell, Jennifer Stromer-Galley, Sarah M. Taylor, Veena Ravishankar, Umit Boz, Xiaoai Ren
Influence and Power in Group Interactions. SBP (2013)
Tomek Strzalkowski, Samira Shaikh, Ting Liu, George Aaron Broadwell, Jennifer Stromer-Galley, Sarah M. Taylor, Umit Boz, Veena Ravishankar, Xiaoai Ren
Modeling Leadership and Influence in Multi-party Online Discourse. COLING (2012)
Samira Shaikh, Tomek Strzalkowski, Jennifer Stromer-Galley, George Aaron Broadwell, Sarah M. Taylor, Ting Liu, Veena Ravishankar, Xiaoai Ren, Umit Boz
Modeling Influence in Online Multi-party Discourse. CGC (2012)