R. Ramanujam

37 papers A 2B 6C 1Misc 2Journal 13Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Protocol insecurity with finitely many sessions and XOR.
CoRR
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2024 — conf
Curricular Choices for Computational Thinking in Large Scale Low Resource Environments.
CMSC
R. Ramanujam, Vipul Shah
2024 A conf
Epistemic Model Checking for Privacy.
CSF
Fortunat Rajaona, Ioana Boureanu, R. Ramanujam, Stephan Wesemeyer
2024 A conf
Solving the Insecurity Problem for Assertions.
CSF
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2023 J jnl
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic.
ACM Trans. Comput. Log.
Anantha Padmanabha, R. Ramanujam
2023 — conf
A Logical Description of Priority Separable Games.
LORI
Ramit Das, R. Ramanujam, Sunil Simon
2023 J jnl
Are bundles good deals for first-order modal logic?
Inf. Comput.
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2023 — conf
Big Ideas from Logic for Mathematics and Computing Education.
ICLA
R. Ramanujam
2023 J jnl
Preface.
J. Log. Lang. Inf.
Sujata Ghosh, R. Ramanujam
2022 B conf
Generalized Bundled Fragments for First-Order Modal Logic.
MFCS
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2021 B conf
Reasoning about Emergence of Collective Memory.
TARK
R. Ramanujam
2021 — conf
Reasoning in Large Games with Unboundedly Many Players.
LORI
Ramit Das, Anantha Padmanabha, R. Ramanujam
2020 J jnl
Definability in first-order theories of graph orderings ⋆.
J. Log. Comput.
R. Ramanujam, Ramanathan S. Thinniyam
2020 J jnl
The complexity of disjunction in intuitionistic logic.
J. Log. Comput.
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2020 Misc conf
Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes.
ICDCIT
Anantha Padmanabha, R. Ramanujam
2019 C conf
Dolev-Yao Theory with Associative Blindpair Operators.
CIAA
Anguraj Baskar, R. Ramanujam, S. P. Suresh
2019 — conf
Propositional Modal Logic with Implicit Modal Quantification.
ICLA
Anantha Padmanabha, R. Ramanujam
2019 B conf
Reasoning about Social Choice and Games in Monadic Fixed-Point Logic.
TARK
Ramit Das, R. Ramanujam, Sunil Simon
2019 B conf
Subset Spaces for Conditional Norms.
PRIMA
Huimin Dong, R. Ramanujam, Yì N. Wáng
2019 J jnl
The Monodic Fragment of Propositional Term Modal Logic.
Stud Logica
Anantha Padmanabha, R. Ramanujam
2019 B conf
Two variable fragment of Term Modal Logic.
MFCS
Anantha Padmanabha, R. Ramanujam
2019 J jnl
Two variable fragment of Term Modal Logic.
CoRR
Anantha Padmanabha, R. Ramanujam
2018 — ed.
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, Kanpur, India, December 11-15, 2017
FSTTCS
Satya V. Lokam, R. Ramanujam
2018 — conf
Bundled Fragments of First-Order Modal Logic: (Un)Decidability.
FSTTCS
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2018 J jnl
Bundled fragments of first-order modal logic: (un)decidability.
CoRR
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2018 J jnl
Propositional modal logic with implicit modal quantification.
CoRR
Anantha Padmanabha, R. Ramanujam
2017 J jnl
Deviator Detection under Imperfect Monitoring.
CoRR
Dietmar Berwanger, R. Ramanujam
2017 — conf
Existential Assertions for Voting Protocols.
Financial Cryptography Workshops
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2017 — conf
Model Checking a Logic over Systems with Regular Sets of Processes.
DIAS/EDUDM@ISEC
Anantha Padmanabha, R. Ramanujam
2017 — ed.
Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017.
M4M@ICLA
Sujata Ghosh, R. Ramanujam
2017 — conf
Strategy Composition in Dynamic Games with Simultaneous Moves.
ICAART (2)
Sujata Ghosh, Neethi Konar, R. Ramanujam
2016 J jnl
A Retraction Theorem for Distributed Synthesis.
CoRR
Dietmar Berwanger, Anup Basil Mathew, R. Ramanujam
2016 B ed.
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015.
TARK
R. Ramanujam
2016 Misc conf
The Complexity of Disjunction in Intuitionistic Logic.
LFCS
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2014 — ch.
Logical Player Types for a Theory of Play.
Johan van Benthem on Logic and Information Dynamics
R. Ramanujam
2013 J jnl
Preface to the Special Issue on Gtora 2012.
IGTR
M. Seetharama Gowda, Nagarajan Krishnamurthy, T. Parthasarathy, R. Ramanujam, G. Ravindran
1995 — conf
A Local Presentation of Synchronizing Systems.
STRICT
R. Ramanujam
redb/extractors/enum.py
← Index redb/extractors/enum.py python 
from enum import Enum


class Tag(Enum):
    BASIC_PROPERTIES = "basic_properties"
    DIEC = "detect_it_easy"
    CAPA = "capa"
    MALCONTENT = "malcontent"
    DECOMPILED = "decompiled"
    HASH = "hash"
    STRINGS = "strings"
    RELATED = "relatedness" # unused
    PE_FEATURES = "pe_features"
    PE_IMPORT = "pe_import"
    PE_OVERLAY = "pe_overlay"
    PE_SECTION = "pe_section"
    PE_RESOURCE = "pe_resource"
    PE_SIGNATURE = "pe_signature"
    PE_CERTIFICATE = "pe_certificate"
    PE_SIGNER = "pe_signer"
    PE_DOTNET = "pe_dotnet"
    PE_EMBEDDED_EXTRAS = "pe_embedded_extras"
    PE_INCONSISTENCY_TESTS = "pe_inconsistency_tests"
    DOTNET_INCONSISTENCY_TESTS = "dotnet_inconsistency_tests"
    YARA = "yara"
    # Mach-O
    MACHO_FEATURES = "macho_features"
    MACHO_IMPORT = "macho_import"
    MACHO_EXPORT = "macho_export"
    MACHO_DYLIB = "macho_dylib"
    MACHO_SEGMENT = "macho_segment"
    MACHO_SIGNATURE = "macho_signature"
    MACHO_CERTIFICATE = "macho_certificate"
    MACHO_ENTITLEMENT = "macho_entitlement"
    MACHO_UNIVERSAL = "macho_universal"
    MACHO_HASHES = "macho_hashes"
    # ELF
    ELF_FEATURES = "elf_features"
    ELF_IMPORT = "elf_import"
    ELF_EXPORT = "elf_export"
    ELF_SECTION = "elf_section"
    ELF_SEGMENT = "elf_segment"
    ELF_SYMBOL = "elf_symbol"
    ELF_RELOCATION = "elf_relocation"
    ELF_NOTE = "elf_note"
    ELF_DEPENDENCY = "elf_dependency"
    # APK
    APK_FEATURES = "apk_features"
    APK_MANIFEST = "apk_manifest"
    APK_PERMISSIONS = "apk_permissions"
    APK_SIGNATURE = "apk_signature"
    APK_DEX = "apk_dex"
    APK_RESOURCES = "apk_resources"
    APK_NATIVE_LIBS = "apk_native_libs"
    APK_INCONSISTENCY_TESTS = "apk_inconsistency_tests"
    APK_DECOMPILED = "apk_decompiled"
    # JavaScript
    JS_FEATURES = "js_features"
    JS_SUSPICIOUS_APIS = "js_suspicious_apis"
    JS_STRINGS = "js_strings"
    JS_DEOBFUSCATION = "js_deobfuscation"
    JS_CONTENT = "js_content"