Search Results - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms

A conceptual meta-model for secured information systems

Authors: Lammari, Nadira Bucumi, Jean-Sylvain Akoka, Jacky et al.

Contributors: Lammari, Nadira Bucumi, Jean-Sylvain Akoka, Jacky et al.

Source: ICSE 2011 : 33rd International Conference on Software Engineering, 7th International Workshops on Software Engineering for Secure Systems (SESS 2011) ; https://hal.science/hal-01125862 ; ICSE 2011 : 33rd International Conference on Software Engineering, 7th International Workshops on Software Engineering for Secure Systems (SESS 2011), May 2011, Waikiki, Honolulu, Hawaii, United States. pp.22-28, ⟨10.1145/1988630.1988635⟩

Subject Terms: Model Driven Approach, Information System, Security, Sécurité, Système d'information, Approche Model Driven, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.0: General, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO]Computer Science [cs], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

Subject Geographic: Waikiki, Honolulu, Hawaii, United States

Availability: https://hal.science/hal-01125862
https://doi.org/10.1145/1988630.1988635

Enabling Software Resilience in GPGPU Applications via Partial Thread Protection.

Authors: Yang, Lishan Bin Nie Jog, Adwait et al.

Source: ICSE: International Conference on Software Engineering; 5/22/2021, p1248-1259, 12p

Subject Terms: GRAPHICS processing units, COMPUTER input-output equipment, COMPUTER software development, ARTIFICIAL intelligence, SOFTWARE engineering

A Model-based approach to realize privacy and data protection by design

Authors: Pedroza, Gabriel Muntes-Mulero, Victor Martin, Yod, Samuel et al.

Contributors: Pedroza, Gabriel Muntes-Mulero, Victor Martin, Yod, Samuel et al.

Source: 2021 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)
IWPE'21 - 2021 International Workshop on Privacy Engineering
https://cea.hal.science/cea-03416657
IWPE'21 - 2021 International Workshop on Privacy Engineering, Sep 2021, vienne (Virtual conference), Austria

Subject Terms: Privacy by design, GDPR, data protection, model-based, personal data detection, DFD, MDE, MBSE, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.0: Computer-aided software engineering (CASE), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design/D.2.10.0: Methodologies, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE]

Subject Geographic: Austria

Time: vienne (Virtual conference), Austria

Relation: info:eu-repo/grantAgreement//787034/EU/Methods and tools for GDPR compliance through Privacy and Data Protection Engineering Programme: H2020-EU.3.7.6./PDP4E

Availability: https://cea.hal.science/cea-03416657
https://cea.hal.science/cea-03416657v1/document
https://cea.hal.science/cea-03416657v1/file/Pedroza_IWPEpaper_2021.pdf

Compiler Mitigations for Time Attacks on Modern x86 Processors

Authors: Jeroen Van Cleemput Bart Coppens Bjorn De Sutter et al.

Contributors: Jeroen Van Cleemput Bart Coppens Bjorn De Sutter et al.

Source: http://users.elis.ugent.be/~brdsutte/research/publications/2012TACOvancleemput.pdf.

Subject Terms: Categories and Subject Descriptors, D.2.0 [Software Engineering, General—Protection mechanisms, D.3.4 [Programming Languages, Processors—Code generation, compilers, optimization General Terms, Experimentation, Measurement, Security Additional Key Words and Phrases, Time-based side channels, x86 architecture, variable latency instructions ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.7302; http://users.elis.ugent.be/~brdsutte/research/publications/2012TACOvancleemput.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.7302
http://users.elis.ugent.be/~brdsutte/research/publications/2012TACOvancleemput.pdf

Structuring Communication Software for Quality-of-Service Guarantees.

Authors: Mehra, Ashish Indiresan, Atri Shin, Kang G.

Source: IEEE Transactions on Software Engineering; Oct97, Vol. 23 Issue 10, p616-634, 19p

Subject Terms: SOFTWARE engineering, INFORMATION resources management, COMPUTER software, COMPUTER networks, SOFTWARE protection, COMPUTER network protocols

Understanding the GDPR from a requirements engineering perspective—a systematic mapping study on regulatory data protection requirements.

Authors: Negri-Ribalta, Claudia Lombard-Platet, Marius Salinesi, Camille

Source: Requirements Engineering; Dec2024, Vol. 29 Issue 4, p523-549, 27p

Subject Terms: GENERAL Data Protection Regulation, 2016, DATA protection, REQUIREMENTS engineering, COMPUTER software development, REGULATORY compliance

Behavior Abstraction in Malware Analysis

Authors: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves et al.

Contributors: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves et al.

Source: 1st International Conference on Runtime Verification
https://inria.hal.science/inria-00536500
1st International Conference on Runtime Verification, Howard Barringer, Klaus Havelund, Insup Lee, Nov 2010, St. Julians, Malta. pp.168-182, ⟨10.1007/978-3-642-16612-9_14⟩

Subject Terms: behavioral detection, abstraction, trace, rewriting, finite state automaton, formal language, dynamic binary instrumentation, Malware, behavior abstraction, string rewriting, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: St. Julians, Malta

Availability: https://inria.hal.science/inria-00536500
https://inria.hal.science/inria-00536500/document
https://inria.hal.science/inria-00536500/file/RV-preprint.pdf
https://doi.org/10.1007/978-3-642-16612-9_14

Behavior Abstraction in Malware Analysis - Extended Version

Authors: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves et al.

Contributors: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves et al.

Source: https://inria.hal.science/inria-00509486 ; 2010.

Subject Terms: malware, behavioral detection, abstraction, trace, rewriting, finite state automaton, formal language, dynamic binary instrumentation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Availability: https://inria.hal.science/inria-00509486
https://inria.hal.science/inria-00509486v2/document
https://inria.hal.science/inria-00509486v2/file/rv-HAL-V2.pdf

1. American Heart Association. (2021). Heart disease and stroke statistics—2021 update. Circulation, 143(8), e254-e743. 2. Rahman, M., Al Amin, M., Hasan, R., Hossain, S. T., Rahman, M. H., & Rashed, R. A. M. (2025). A Predictive AI Framework for Cardiovascular Disease Screening in the US: Integrating EHR Data with Machine and Deep Learning Models. British Journal of Nursing Studies, 5(2), 40-48. 3. ZakirHossain, M., Khan, M. M., Thapa, S., Uddin, R., Meem, E. J., Niloy, S. K., ... & Bhavani, G. D. (2025, February). Advanced Deep Learning Techniques for Precision Diagnosis of Tea Leaf Diseases. In 2025 IEEE International Conference on Emerging Technologies and Applications (MPSec ICETA) (pp. 1-6). IEEE. 4. Chen, T., & Guestrin, C. (2016). XGBoost: A scalable tree boosting system. In Proceedings of the 22nd ACM SIGKDD international conference on knowledge discovery and data mining (pp. 785-794). ACM. 5. Damen, J. A., Hooft, L., Schuit, E., Debray, T. P., Collins, G. S., Tzoulaki, I., Lassale, C. M., Siontis, G. C., Chiocchia, V., Roberts, C., Schlüssel, M. M., Gerry, S., Black, J. A., Heus, P., van der Schouw, Y. T., Peelen, L. M., & Moons, K. G. (2016). Prediction models for cardiovascular disease risk in the general population: systematic review. BMJ, 353, i2416. 6. Framingham Heart Study. (1948). Framingham Heart Study cohort research data. National Heart, Lung, and Blood Institute. 7. Johnson, A. E., Pollard, T. J., Shen, L., Lehman, L. H., Feng, M., Ghassemi, M., Moody, B., Szolovits, P., Celi, L. A., & Mark, R. G. (2016). MIMIC-III, a freely accessible critical care database. Scientific Data, 3, 160035. 8. Krittanawong, C., Zhang, H., Wang, Z., Aydar, M., & Kitai, T. (2017). Artificial intelligence in precision cardiovascular medicine. Journal of the American College of Cardiology, 69(21), 2657-2664. 9. Lundberg, S. M., & Lee, S. I. (2017). A unified approach to interpreting model predictions. In Advances in Neural Information Processing Systems 30 (NIPS 2017) (pp. 4765-4774). 10. Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., & Duchesnay, É. (2011). Scikit-learn: Machine learning in Python. Journal of Machine Learning Research, 12, 2825–2830. 11. Shameer, K., Johnson, K. W., Glicksberg, B. S., Dudley, J. T., & Sengupta, P. P. (2018). Machine learning in cardiovascular medicine: are we there yet? Heart, 104(14), 1156-1164. 12. Steyerberg, E. W., Vergouwe, Y., & van Calster, B. (2019). Towards better clinical prediction models: seven steps for development and an ABCD for validation. European Heart Journal, 40(15), 1255–1264. 13. Sudlow, C., Gallacher, J., Allen, N., Beral, V., Burton, P., Danesh, J., Downey, P., Elliott, P., Green, J., Landray, M., Liu, B., Matthews, P., Ong, G., Pell, J., Silman, A., Young, A., Sprosen, T., Peakman, T., & Collins, R. (2015). UK biobank: an open access resource for identifying the causes of a wide range of complex diseases of middle and old age. PLOS Medicine, 12(3), e1001779. 14. Weng, S. F., Reps, J., Kai, J., Garibaldi, J. M., & Qureshi, N. (2017). Can machine-learning improve cardiovascular risk prediction using routine clinical data? PLOS ONE, 12(4), e0174944. 15. World Health Organization. (2021). Cardiovascular diseases (CVDs). Retrieved from https://www.who.int/news-room/fact-sheets/detail/cardiovascular-diseases-(cvds) 16. Abadi, M., Barham, P., Chen, J., Chen, Z., Davis, A., Dean, J., Devin, M., Ghemawat, S., Irving, G., Isard, M., Kudlur, M., Levenberg, J., Monga, R., Moore, S., Murray, D. G., Steiner, B., Tucker, P., Vasudevan, V., Warden, P., ... Zheng, X. (2016). TensorFlow: A system for large-scale machine learning. In 12th USENIX symposium on operating systems design and implementation (OSDI 16) (pp. 265–283). 17. Chollet, F. (2015). Keras (Version 2.4.0) [Computer software]. https://github.com/fchollet/keras

Authors: Okunola, Abiodun

Protection in operating systems

Authors: Jeffrey D. Ullman Michael A. Harrison Walter L. Ruzzo

Source: Communications of the ACM. 19:461-471

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, Formal languages and automata, 02 engineering and technology, 16. Peace & justice, Algorithms in computer science

File Description: application/xml

Access URL: https://dl.acm.org/citation.cfm?id=360333
https://dblp.uni-trier.de/db/journals/cacm/cacm19.html#HarrisonRU76
http://portal.acm.org/citation.cfm?doid=360303.360333
https://doi.org/10.1145/360303.360333
https://dl.acm.org/doi/10.1145/360303.360333
https://doi.acm.org/10.1145/360303.360333

On Protection by Layout Randomization.

Authors: Abadi, Martin Plotkin, Gordon D.

Source: ACM Transactions on Information & System Security (TISSEC); 2012, Vol. 15 Issue 2, p8-8:29, 29p

Subject Terms: RANDOMIZATION (Statistics), SOFTWARE protection, PROGRAMMING languages, COMPUTER software, COMPUTER science, COMPUTER access control

Review and Revocation of Access Privileges Distributed Through Capabilities.

Authors: Gligor, Virgil D.

Source: IEEE Transactions on Software Engineering; Nov79, Vol. 5 Issue 6, p575-586, 12p, 5 Diagrams

Subject Terms: PARALLEL processing, DISTRIBUTED computing, COMPUTER security, SOFTWARE engineering, COMPUTER software, COMPUTER systems

Protection in Programming Languages.

Authors: Morris, Jr., James H. Gries, D.

Source: Communications of the ACM; Jan1973, Vol. 16 Issue 1, p15-21, 7p, 5 Diagrams

Subject Terms: PROGRAMMING languages, COMPUTER programming, DATA protection, COMPUTER software, COMPUTER science, ALGORITHMS

Auditing and Inference Control in Statistical Databases.

Authors: Chin, Francis Y. Ozsoyoglu, Gultekin

Source: IEEE Transactions on Software Engineering; Nov82, Vol. 8 Issue 6, p574-582, 9p, 3 Diagrams, 2 Charts

Subject Terms: DATABASES, STATISTICS, COMPUTER systems, ELECTRONIC systems, COMPUTER software, SOFTWARE engineering

Viewpoint Personal Data and the Internet of Things: It is time to care about digital provenance.

Authors: Pasquier, Thomas Eyers, David Bacon, Jean

Source: Communications of the ACM; Jun2019, Vol. 62 Issue 6, p32-34, 3p

Subject Terms: INTERNET of things, DATA protection, INTERNET security, PERSONAL information management, SOFTWARE engineering

A Systematic Survey of Self-Protecting Software Systems.

Authors: YUAN, ERIC ESFAHANI, NAEEM MALEK, SAM

Source: ACM Transactions on Autonomous & Adaptive Systems; 2013, Vol. 8 Issue 4, p17:1-17:41, 41p

Subject Terms: SOFTWARE engineering, AUTONOMIC computing, COMPUTER security, ADAPTIVE computing systems, COMPUTER software, FUTURES studies

Refinement Types for Secure Implementations.

Authors: Bengtson, Jesper Bhargavan, Karthikeyan Fournet, Cédric et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2011, Vol. 33 Issue 2, p8-8:45, 45p

Subject Terms: SOURCE code, CRYPTOGRAPHY, COMPUTER security software, COMPUTER access control, CALCULUS, F# (Computer program language), AUTHENTICATION (Law), SOFTWARE engineering

Unconditional self-modifying code elimination with dynamic compiler optimizations

Authors: Gnaedig, Isabelle Kaczmarek, Matthieu Reynaud, Daniel et al.

Contributors: Gnaedig, Isabelle Kaczmarek, Matthieu Reynaud, Daniel et al.

Source: 5th International Conference on Malicious and Unwanted Software
https://inria.hal.science/inria-00538376
5th International Conference on Malicious and Unwanted Software, Fernando C. Colón Osorio, Oct 2010, Nancy, France

Subject Terms: malware, packing, self-modifying code, slicing techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Nancy, France

Availability: https://inria.hal.science/inria-00538376
https://inria.hal.science/inria-00538376v1/document
https://inria.hal.science/inria-00538376v1/file/packer.pdf

Harmonising Contributions: Exploring Diversity in Software Engineering through CQA Mining on Stack Overflow.

Authors: Zolduoarrati, Elijah Licorish, Sherlock A. Stanger, Nigel

Source: ACM Transactions on Software Engineering & Methodology; Sep2024, Vol. 33 Issue 7, p1-54, 54p

Subject Terms: QUESTION & answer websites, WEALTH inequality, SWARM intelligence, SOFTWARE engineering, CITIES & towns

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Authors: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo et al.

Contributors: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo et al.

Source: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩ ; http://doi.acm.org/10.1145/1806799.1806823

Subject Terms: Liability, Contract, Formal Methods, Specication, Defects, Legal Aspects, Evidence, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering

Subject Geographic: Cape Town, South Africa

Time: Cape Town, South Africa

Availability: https://inria.hal.science/inria-00472287
https://inria.hal.science/inria-00472287v3/document
https://inria.hal.science/inria-00472287v3/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://doi.org/10.1145/1806799.1806823