Mohannadcse

Pinned Repositories

langroid
Harness LLMs with Multi-Agent Programming
Language:Python3.7k 28 247349
AlloySpecRepair
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
Language:Alloy2 1 01
DepsRAG
Interactive LLM Chatbot that constructs direct and transitive software dependencies as a knowledge graph and answers user's questions leveraging RAG and critic-agent approach
Language:Python24 3 00
DINA
A hybrid analysis tool for detecting vulnerable inter-app communication between Android Apps
Language:C++2 1 31
IoTCOM
Verifying safety of interactions between IoT apps
Language:Alloy7 2 32
LMCAS
Language:C3 6 11
LMCAS_LLVM_Debloating_Passes
Contains llvm passes for debloating and profiling
Language:C++2 3 00
Malware
Course materials for Malware Analysis by RPISEC
1 1 00

Mohannadcse's Repositories

Mohannadcse/DepsRAG
Interactive LLM Chatbot that constructs direct and transitive software dependencies as a knowledge graph and answers user's questions leveraging RAG and critic-agent approach
Language:Python24 3 00
Mohannadcse/IoTCOM
Verifying safety of interactions between IoT apps
Language:Alloy7 2 32
Mohannadcse/LMCAS
Language:C3 6 11
Mohannadcse/AlloySpecRepair
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
Language:Alloy2 1 01
Mohannadcse/DINA
A hybrid analysis tool for detecting vulnerable inter-app communication between Android Apps
Language:C++2 1 31
Mohannadcse/LMCAS_LLVM_Debloating_Passes
Contains llvm passes for debloating and profiling
Language:C++2 3 00
Mohannadcse/autoMPI
Automatic annotation for Provenance analysis
Language:C2 0
Mohannadcse/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
Language:Python
Mohannadcse/debloating
Language:C1 0
Mohannadcse/DebloatingTestSuite
A suite of built executables for use in testing and measuring debloating tools
Mohannadcse/devops-course
Repository of the DevOps course at KTH Royal Institute of Technology DD2482
Language:Python0 0
Mohannadcse/DevOpsCourse
0 0
Mohannadcse/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Language:C++0 0
Mohannadcse/is593-2020-spring
Language:Shell0 0
Mohannadcse/jitana
A graph-based static-dynamic hybrid DEX code analysis tool
Language:C++0 0
Mohannadcse/KG-LLM-Papers
[Paper List] Papers integrating knowledge graphs (KGs) and large language models (LLMs)
0 0
Mohannadcse/LMCAS_Demo
Language:Makefile1 0
Mohannadcse/LMCAS_Partial_interpreter
Files for the debloating paper
Language:C++5 01
Mohannadcse/log4jpwn_demo
log4j rce test environment and poc
Language:Python1 0
Mohannadcse/Malware-1
IoT Security Reading List
1 01
Mohannadcse/Malware-Analysis
List of awesome malware analysis tools and resources
Mohannadcse/mlops-course
A project-based course on the foundations of MLOps to responsibly develop, deploy and maintain ML.
Language:Jupyter Notebook0 0
Mohannadcse/mohannad-personal-profile
Language:HTML1 0
Mohannadcse/Normalizer-authorship
Language:C++1 0
Mohannadcse/pdg
Source for program dependency graph
Language:C++1 0
Mohannadcse/scored23_release
Language:C0 0
Mohannadcse/simple_cov_badge
Language:Dockerfile1 1
Mohannadcse/UsefulCommandsForMe
Useful Commands
Language:Shell2 0
Mohannadcse/wyvern
LazyEval
Language:C++0 0
Mohannadcse/youtubeToMP3
Language:Python1 0