Conference paperConstraint-based random stimuli generation for hardware verificationYehuda Naveli, Michal Rimon, et al.AAAI/IAAI 2006
Conference paperConfidential and Protected Disease Classifier using Fully Homomorphic EncryptionAditya Malik, Nalini Ratha, et al.CAI 2024