Cybersecurity and Trust Archives - CREST https://crest.usc.edu/research_category/cybersecurity-and-trust/ Advancing civil and commercial uses of space Wed, 20 Sep 2023 17:28:32 +0000 en-US hourly 1 https://crest.usc.edu/wp-content/uploads/2022/11/elementor/thumbs/overheating-planet-earth-global-warming-campaign-mixed-media-4-pyfposhzfso9irvp1aazkklwyj9aow8che0ill8i8s.png Cybersecurity and Trust Archives - CREST https://crest.usc.edu/research_category/cybersecurity-and-trust/ 32 32 Deshmukh, J.V., Sankaranarayanan, S., “Formal Techniques for Verification and Testing of Cyber-Physical Systems,” https://crest.usc.edu/research/deshmukh-j-v-sankaranarayanan-s-formal-techniques-for-verification-and-testing-of-cyber-physical-systems/ https://crest.usc.edu/research/deshmukh-j-v-sankaranarayanan-s-formal-techniques-for-verification-and-testing-of-cyber-physical-systems/#respond Wed, 20 Sep 2023 17:28:31 +0000 https://crest.usc.edu/?post_type=research&p=3938 The post Deshmukh, J.V., Sankaranarayanan, S., “Formal Techniques for Verification and Testing of Cyber-Physical Systems,” appeared first on CREST.

]]> The post Deshmukh, J.V., Sankaranarayanan, S., “Formal Techniques for Verification and Testing of Cyber-Physical Systems,” appeared first on CREST.

]]> https://crest.usc.edu/research/deshmukh-j-v-sankaranarayanan-s-formal-techniques-for-verification-and-testing-of-cyber-physical-systems/feed/ 0 Cheng, M., Yin, C., Zhang, J., Nazarian, S., Deshmukh, J., Bogdan, P., “A General Trust Framework for Multi-Agent Systems,” University of Southern California. https://crest.usc.edu/research/cheng-m-yin-c-zhang-j-nazarian-s-deshmukh-j-bogdan-p-a-general-trust-framework-for-multi-agent-systems-university-of-southern-california/ https://crest.usc.edu/research/cheng-m-yin-c-zhang-j-nazarian-s-deshmukh-j-bogdan-p-a-general-trust-framework-for-multi-agent-systems-university-of-southern-california/#respond Wed, 20 Sep 2023 17:26:27 +0000 https://crest.usc.edu/?post_type=research&p=3934 The post Cheng, M., Yin, C., Zhang, J., Nazarian, S., Deshmukh, J., Bogdan, P., “A General Trust Framework for Multi-Agent Systems,” University of Southern California. appeared first on CREST.

]]> The post Cheng, M., Yin, C., Zhang, J., Nazarian, S., Deshmukh, J., Bogdan, P., “A General Trust Framework for Multi-Agent Systems,” University of Southern California. appeared first on CREST.

]]> https://crest.usc.edu/research/cheng-m-yin-c-zhang-j-nazarian-s-deshmukh-j-bogdan-p-a-general-trust-framework-for-multi-agent-systems-university-of-southern-california/feed/ 0 Wu, M., Wang, J., Deshmukh, J., Wang, C., “Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems,” https://crest.usc.edu/research/wu-m-wang-j-deshmukh-j-wang-c-shield-synthesis-for-real-enforcing-safety-in-cyber-physical-systems/ https://crest.usc.edu/research/wu-m-wang-j-deshmukh-j-wang-c-shield-synthesis-for-real-enforcing-safety-in-cyber-physical-systems/#respond Wed, 20 Sep 2023 17:23:17 +0000 https://crest.usc.edu/?post_type=research&p=3929 The post Wu, M., Wang, J., Deshmukh, J., Wang, C., “Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems,” appeared first on CREST.

]]> The post Wu, M., Wang, J., Deshmukh, J., Wang, C., “Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems,” appeared first on CREST.

]]> https://crest.usc.edu/research/wu-m-wang-j-deshmukh-j-wang-c-shield-synthesis-for-real-enforcing-safety-in-cyber-physical-systems/feed/ 0 Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J., Ueda, K., “Conformance Testing as Falsification for Cyber-Physical Systems.” https://crest.usc.edu/research/abbas-h-hoxha-b-fainekos-g-deshmukh-j-v-kapinski-j-ueda-k-conformance-testing-as-falsification-for-cyber-physical-systems/ https://crest.usc.edu/research/abbas-h-hoxha-b-fainekos-g-deshmukh-j-v-kapinski-j-ueda-k-conformance-testing-as-falsification-for-cyber-physical-systems/#respond Wed, 20 Sep 2023 17:20:08 +0000 https://crest.usc.edu/?post_type=research&p=3926 The post Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J., Ueda, K., “Conformance Testing as Falsification for Cyber-Physical Systems.” appeared first on CREST.

]]> The post Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J., Ueda, K., “Conformance Testing as Falsification for Cyber-Physical Systems.” appeared first on CREST.

]]> https://crest.usc.edu/research/abbas-h-hoxha-b-fainekos-g-deshmukh-j-v-kapinski-j-ueda-k-conformance-testing-as-falsification-for-cyber-physical-systems/feed/ 0 Deshmukh, J., Horvat, M., Jin, X., Majumdar, R., Prabhu, V.S., “Testing Cyber-Physical Systems through Bayesian Optimization.” https://crest.usc.edu/research/deshmukh-j-horvat-m-jin-x-majumdar-r-prabhu-v-s-testing-cyber-physical-systems-through-bayesian-optimization/ https://crest.usc.edu/research/deshmukh-j-horvat-m-jin-x-majumdar-r-prabhu-v-s-testing-cyber-physical-systems-through-bayesian-optimization/#respond Wed, 20 Sep 2023 17:18:50 +0000 https://crest.usc.edu/?post_type=research&p=3923 The post Deshmukh, J., Horvat, M., Jin, X., Majumdar, R., Prabhu, V.S., “Testing Cyber-Physical Systems through Bayesian Optimization.” appeared first on CREST.

]]> The post Deshmukh, J., Horvat, M., Jin, X., Majumdar, R., Prabhu, V.S., “Testing Cyber-Physical Systems through Bayesian Optimization.” appeared first on CREST.

]]> https://crest.usc.edu/research/deshmukh-j-horvat-m-jin-x-majumdar-r-prabhu-v-s-testing-cyber-physical-systems-through-bayesian-optimization/feed/ 0 Tuncali, C.E., Kapinski, J., Ito, H., Deshmukh, J.V., “Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.” https://crest.usc.edu/research/tuncali-c-e-kapinski-j-ito-h-deshmukh-j-v-reasoning-about-safety-of-learning-enabled-components-in-autonomous-cyber-physical-systems/ https://crest.usc.edu/research/tuncali-c-e-kapinski-j-ito-h-deshmukh-j-v-reasoning-about-safety-of-learning-enabled-components-in-autonomous-cyber-physical-systems/#respond Wed, 20 Sep 2023 17:17:51 +0000 https://crest.usc.edu/?post_type=research&p=3920 The post Tuncali, C.E., Kapinski, J., Ito, H., Deshmukh, J.V., “Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.” appeared first on CREST.

]]> The post Tuncali, C.E., Kapinski, J., Ito, H., Deshmukh, J.V., “Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.” appeared first on CREST.

]]> https://crest.usc.edu/research/tuncali-c-e-kapinski-j-ito-h-deshmukh-j-v-reasoning-about-safety-of-learning-enabled-components-in-autonomous-cyber-physical-systems/feed/ 0 Wu, Y., AbdAlmageed, W., Natarajan, P., “ManTra-Net: A Manipulation Tracing Network for Detecting and Localizing Image Forgeries with Anomalous Features,” USC Information Sciences Institute, Marina del Rey, CA, USA; Amazon, Manhattan Beach, CA, USA. https://crest.usc.edu/research/mantra-net-manipulation-tracing-network-for-detection-and-localization-of-image-forgeries-with-anomalous-features/ https://crest.usc.edu/research/mantra-net-manipulation-tracing-network-for-detection-and-localization-of-image-forgeries-with-anomalous-features/#respond Mon, 11 Sep 2023 21:16:04 +0000 https://crest.usc.edu/?post_type=research&p=3733 The post Wu, Y., AbdAlmageed, W., Natarajan, P., “ManTra-Net: A Manipulation Tracing Network for Detecting and Localizing Image Forgeries with Anomalous Features,” USC Information Sciences Institute, Marina del Rey, CA, USA; Amazon, Manhattan Beach, CA, USA. appeared first on CREST.

]]> The post Wu, Y., AbdAlmageed, W., Natarajan, P., “ManTra-Net: A Manipulation Tracing Network for Detecting and Localizing Image Forgeries with Anomalous Features,” USC Information Sciences Institute, Marina del Rey, CA, USA; Amazon, Manhattan Beach, CA, USA. appeared first on CREST.

]]> https://crest.usc.edu/research/mantra-net-manipulation-tracing-network-for-detection-and-localization-of-image-forgeries-with-anomalous-features/feed/ 0 Wu, Y., Abd-Almageed, W., Natarajan, P., “BusterNet: Detecting Copy-Move Image Forgery with Source/Target Localization,” Proceedings of the European Conference on Computer Vision (ECCV), 2018, pp. 168-184. https://crest.usc.edu/research/wu-y-abd-almageed-w-natarajan-p-busternet-detecting-copy-move-image-forgery-with-source-target-localization-proceedings-of-the-european-conference-on-computer-vision-eccv-2018-pp-1/ https://crest.usc.edu/research/wu-y-abd-almageed-w-natarajan-p-busternet-detecting-copy-move-image-forgery-with-source-target-localization-proceedings-of-the-european-conference-on-computer-vision-eccv-2018-pp-1/#respond Mon, 11 Sep 2023 21:15:46 +0000 https://crest.usc.edu/?post_type=research&p=3807 The post Wu, Y., Abd-Almageed, W., Natarajan, P., “BusterNet: Detecting Copy-Move Image Forgery with Source/Target Localization,” Proceedings of the European Conference on Computer Vision (ECCV), 2018, pp. 168-184. appeared first on CREST.

]]> The post Wu, Y., Abd-Almageed, W., Natarajan, P., “BusterNet: Detecting Copy-Move Image Forgery with Source/Target Localization,” Proceedings of the European Conference on Computer Vision (ECCV), 2018, pp. 168-184. appeared first on CREST.

]]> https://crest.usc.edu/research/wu-y-abd-almageed-w-natarajan-p-busternet-detecting-copy-move-image-forgery-with-source-target-localization-proceedings-of-the-european-conference-on-computer-vision-eccv-2018-pp-1/feed/ 0 Wu, Y., Abd-Almageed, W., Natarajan, P., “Image Copy-Move Forgery Detection via an End-to-End Deep Neural Network,” Information Sciences Institute, University of Southern California. https://crest.usc.edu/research/wu-y-abd-almageed-w-natarajan-p-image-copy-move-forgery-detection-via-an-end-to-end-deep-neural-network-information-sciences-institute-university-of-southern-california/ https://crest.usc.edu/research/wu-y-abd-almageed-w-natarajan-p-image-copy-move-forgery-detection-via-an-end-to-end-deep-neural-network-information-sciences-institute-university-of-southern-california/#respond Mon, 11 Sep 2023 21:14:35 +0000 https://crest.usc.edu/?post_type=research&p=3818 The post Wu, Y., Abd-Almageed, W., Natarajan, P., “Image Copy-Move Forgery Detection via an End-to-End Deep Neural Network,” Information Sciences Institute, University of Southern California. appeared first on CREST.

]]> The post Wu, Y., Abd-Almageed, W., Natarajan, P., “Image Copy-Move Forgery Detection via an End-to-End Deep Neural Network,” Information Sciences Institute, University of Southern California. appeared first on CREST.

]]> https://crest.usc.edu/research/wu-y-abd-almageed-w-natarajan-p-image-copy-move-forgery-detection-via-an-end-to-end-deep-neural-network-information-sciences-institute-university-of-southern-california/feed/ 0 Wu, Y., Abd-Almageed, W., Natarajan, P., “Deep Matching and Validation Network: An End-to-End Solution to Constrained Image Splicing Localization and Detection. https://crest.usc.edu/research/wu-y-abd-almageed-w-natarajan-p-deep-matching-and-validation-network-an-end-to-end-solution-to-constrained-image-splicing-localization-and-detection/ https://crest.usc.edu/research/wu-y-abd-almageed-w-natarajan-p-deep-matching-and-validation-network-an-end-to-end-solution-to-constrained-image-splicing-localization-and-detection/#respond Mon, 11 Sep 2023 21:10:00 +0000 https://crest.usc.edu/?post_type=research&p=3814 The post Wu, Y., Abd-Almageed, W., Natarajan, P., “Deep Matching and Validation Network: An End-to-End Solution to Constrained Image Splicing Localization and Detection. appeared first on CREST.

]]> The post Wu, Y., Abd-Almageed, W., Natarajan, P., “Deep Matching and Validation Network: An End-to-End Solution to Constrained Image Splicing Localization and Detection. appeared first on CREST.

]]> https://crest.usc.edu/research/wu-y-abd-almageed-w-natarajan-p-deep-matching-and-validation-network-an-end-to-end-solution-to-constrained-image-splicing-localization-and-detection/feed/ 0