Research
A paper is listed when one of its authors is affiliated with the lab. Data: OpenAlex.
Finding software vulnerabilities in large C projects via bounded model checkingTechnology Innovation Institute · International Journal on Software Tools for Technology TransferFeb 20tensorFM: Low-Rank Approximations of Cross-Order Feature InteractionsTechnology Innovation Institute · arXiv (Cornell University)Feb 16VLM-Fuzz: Vision language model assisted recursive depth-first search exploration for effective GUI testing of android appsTechnology Innovation Institute · Empirical Software Engineering2 citationsFeb 13Adaptive Multi-Objective Jaya Algorithm with Applications in Renewable Energy System OptimizationTechnology Innovation Institute · Algorithms1 citationFeb 6Efficient witnessing and testing of magic in mixed quantum statesTechnology Innovation Institute · npj Quantum Information13 citationsFeb 3Manarat: A scalable QICK-based control system for superconducting quantum processors supporting synchronized control of 10 flux-tunable qubitsTechnology Innovation Institute · Review of Scientific Instruments1 citationFeb 1Reduction of Measurement Complexity at Rank Reduction for Tomography of Polarization Qutrits in the Natural BasisTechnology Innovation Institute · Journal of Experimental and Theoretical Physics LettersFeb 1Hierarchical quantum decodersTechnology Innovation Institute · arXiv (Cornell University)Jan 29WW-FL: Secure and Private Large-Scale Federated LearningTechnology Innovation Institute · IACR Transactions on Cryptographic Hardware and Embedded Systems2 citationsJan 16Sota Voce: Low-Noise Sampling of Sparse Fixed-Weight VectorsTechnology Innovation Institute · IACR Transactions on Cryptographic Hardware and Embedded Systems1 citationJan 16Harnessing phytoconstituents to treat COVID-19 triggered acute respiratory distress syndrome: Insights from network pharmacology, and molecular modelingTechnology Innovation Institute · Phytochemistry Letters5 citationsJan 14On Your Own: Pro-Level Autonomous Drone Racing in Uninstrumented ArenasTechnology Innovation Institute · IEEE Robotics and Automation Letters4 citationsJan 14Real-time error mitigation for variational optimization on quantum hardwareTechnology Innovation Institute · Physical Review Research3 citationsJan 12TRIP-B5G: Traffic classification and Resource allocation using Intelligent PPO in B5G O-RANTechnology Innovation Institute · IEEE Consumer Communications and Networking Conference2 citationsJan 9POLYNIX: A Hybrid Policy Enforcement Framework for Zero-Trust Security in Virtualized SystemsTechnology Innovation Institute · IEEE Consumer Communications and Networking ConferenceJan 9Improved Related-Key Differential Attacks against AES-256Technology Innovation Institute · IACR Communications in CryptologyJan 8From LLM Reasoning to Autonomous AI Agents: A Comprehensive ReviewTechnology Innovation Institute · IEEE Access48 citationsJan 1MRAM : A Multi-Radio Mesh With Adaptive Radio Silence for Resilient CommunicationTechnology Innovation Institute · IEEE Open Journal of the Communications Society6 citationsJan 1A Survey of Trust Chain in Secure Embedded Systems: From Secure Boot to TEE ApplicationsTechnology Innovation Institute · IEEE Access3 citationsJan 1GL-DT: Multi-UAV Detection and Tracking With Global–Local IntegrationTechnology Innovation Institute · IEEE Transactions on Geoscience and Remote Sensing2 citationsJan 1A Survey of Adversarial Defenses in Vision-Based Systems: Categorization, Methods, and ChallengesTechnology Innovation Institute · IEEE Access2 citationsJan 1Hybrid Adversarial Retraining Approach for a Proactive Network Intrusion Detection SystemTechnology Innovation Institute · IEEE Open Journal of the Communications Society1 citationJan 1Oracle-Based multistep strategy for solving polynomial systems over finite fields and algebraic cryptanalysis of the aradi cipherTechnology Innovation Institute · Advances in Mathematics of Communications1 citationJan 1E-DIM: Federated Learning-Based Secure Autonomous Communication Through Enhanced Data Integrity MonitoringTechnology Innovation Institute · IEEE Transactions on Computational Social Systems1 citationJan 1Revocable Identity-Based Authenticated Key Exchange: Generic and Direct ConstructionsTechnology Innovation Institute · IEICE Transactions on Fundamentals of Electronics Communications and Computer SciencesJan 1