Innovative technologies for dependable otsbased critical. Nuno antunes equity derivatives sales trader icap linkedin. Sofsem 2021 47th international conference on current trends in theory and practice of computer science. Certifications of critical systems the cecris experience. Anaesthesia and analgesia in laboratory adult zebrafish. Pdf web applications are frequently deployed with critical security bugs. See the complete profile on linkedin and discover nuno s. Penetration testing for web services request pdf researchgate. Join facebook to connect with nuno antunes and others you may know. See the complete profile on linkedin and discover nunos connections and jobs at similar companies. Company description i am starting doing business as an commercial agent, i am available to work for any market. Joao antunes, nuno neves, recycling test cases to detect security vulnerabilities, proceedings of the 23nd annual international symposium on software reliability engineering issre, dallas, usa, 10 pages, november 2012. Semantic scholar profile for nuno antunes, with 46 highly influential citations and 93 scientific research papers. A monitoring and testing framework for critical offtheshelf applications and services, trabalho apresentado em 3rd ieee international workshop on software certification wosocer20 colocated with the 24rd ieee international symposium on software reliability engineering issre 20, in.
Nuno antunes software vulnerability detection in servicebased infrastructures techniques and tools phd thesis in information science and technology supervised by professor marco vieira and presented to the faculty of sciences and technology of the university of coimbra september 20c d ectures s es u e a. Pdf defending against web application vulnerabilities. Lisbon and the president of the interactive technologies institute iti a research unit part of the larsys associated laboratory. The incorrect use of cryptography is a common source of critical software vulnerabilities. Marco vieira and nuno antunes, introduction to software security concepts, in innovative technologies for dependable otsbased critical systems, vol. Nuno simao antunes svp emea head of multinational and. Critical systems are becoming more and more complex and heterogeneous, integrating previously separate systems and including design solutions ranging from the introduction of software off the shelf ots to the adoption of looselyintegrated and composable services. Aug 05, 2016 from development to management, nuno antunes has taken on multiple engineering roles at outsystems since he started almost 5 years ago. Web services are often deployed with critical software bugs. Penetration testing for web services ieee computer society. See the complete profile on linkedin and discover nuno simaos connections and jobs at similar companies. Nuno antunes is known for his work on alive 1993, first wave 1998 and exception to the rule 1997. Pdf comparing the effectiveness of penetration testing. View nuno antunes profile on linkedin, the worlds largest professional community.
View nuno simao antunes profile on linkedin, the worlds largest professional community. See the complete profile on linkedin and discover nunos. International workshop on recent advances in the dependability assessment of complex systems radiance critical systems are becoming more and more complex and heterogeneous, integrating previously separated systems and including design solutions ranging from the introduction of software off the shelf ots to the adoption of looselyintegrated and composable services. Critical software technology for an evolutionary partnership critical step. Nuno antunes assistant professor university of coimbra linkedin. Web applications and services are often deployed with critical software bugs that may be maliciously exploited. A monitoring and testing framework for critical offtheshelf applications and services by nuno antunes, francesco brancati, andrea ceccarelli, andrea bondavalli and marco vieira download as a pdf 2525kb downloads 688 chapter 11 validating a safety critical railway application using fault injection. Nuno antunes postgraduate colloquium series coimbra, march 23, 2012.
Detecting vulnerabilities in service oriented architectures. Nuno antunes university of coimbra verified email at dei. Understanding how to use static analysis tools for detecting cryptography misuse in software. Comparing the effectiveness of penetration testing and static code analysis on the detection of sql injection vulnerabilities in web services nuno antunes, marco vieira. Join facebook to connect with nuno miguel antunes and others you may know. Nuno miguel antunes,mens clothing,mens underwear,portugal. Critical software is an international information systems and software company, headquartered in coimbra, portugal. Across the world, we provide our clients with technology they can trust. People centre for informatics and systems of the university. See the complete profile on linkedin and discover nuno s connections and jobs at similar companies. Issrew 12 proceedings of the 2012 ieee 23rd international symposium on software reliability engineering workshops pages 49. See the best free to download photos, images, and wallpapers by nuno antunes on unsplash. Carvalho, nuno antunes, andrea ceccarelli, andras zentai subject. A day in the life of a vision critical software engineer duration.
Started as a developer at critical software, where i learnt the value of organisation and. Nuno antunes and marco vieira published studies on falsepositive rates, detection rates and coverage of various penetration testing tools nuno antunes, 2012, nuno antunes, 2014. Web services are often deployed with critical software security faults that open. The demand for largescale dependable, systems, such as air traffic management, industrial plants and space systems, is attracting efforts of many wordleading european companies and smes in the. In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation, and verification of critical systems, i. Critical systems are becoming more and more complex and heterogeneous, integrating previously separated systems and including design solutions ranging from the introduction of software off the shelf ots to the adoption of looselyintegrated and composable services. Although web services are becoming business critical components, they are often deployed with critical software bugs that can be maliciously explored. In fact, the scope of software is widening more and more in many critical domains such as avionics, space, railway, automotive, nuclear, medical, and air traffic control. Home cecris project certification of critical systems.
Nuno antunes s research while affiliated with university of coimbra and other places. Nuno antunes software developer clavister ab linkedin. Wosocer 20 has been the third edition of the internaltional workshop on software certification. The adoption of service oriented architectures soas in a wide range of organizations, including business critical systems, opens the door to new security challenges. Nuno antuness research works university of coimbra. A monitoring and testing framework for critical offtheshelf applications and services by nuno antunes, francesco brancati, andrea ceccarelli, andrea bondavalli and marco vieira download as a pdf 2525kb downloads 688 chapter 11 validating a safety critical. Ariadne carvalho, state university of campinas nuno antunes, university of coimbra andrea ceccarelli, ciniuniversity of florence contact us at. Introduction to software security concepts springerlink. View the profiles of professionals named nuno antunes on linkedin.
Nuno antunes is an assistant professor at the department of informatics. Nanjing university of aeronautics and astronautics. Nuno antunes audio video account manager houle linkedin. Paulo antunes junior software developer critical software.
An analysis of openstack vulnerabilities semantic scholar. Sofsem 2021 47th international conference on current trends in theory and practice of. Out in space, our software orbits the earth 247, 365 days a year. Nuno antunes henrique madeira although web services are becoming business critical components, they are often deployed with critical software bugs that can be maliciously explored. A nice picture taken in coimbra at critical software premises just before a. Nuno antunes postgraduate colloquium series coimbr a, march 23, 2012.
Nuno antunes assistant professor university of coimbra. Dec 11, 20 penetration testing for web services abstract. Web services are often deployed with critical software security faults that. Nuno antunes and ivano irrera started their secondments at resiltech on 2nd of january. Software is pervasive in our society, and certifying reliability and safety of software intensive systems has become an important problem and a hot research area. Web services are often deployed with critical software security faults that open them to malicious attack. Reliability of software in artificial intelligence based software systems reliability of software within specific types of systems e. The company was established in 1998, from the university of coimbras business incubator and technology transfer centre, instituto pedro nunes ipn. Alexandre melo braga, ricardo dahab, nuno antunes, nuno laranjeiro, marco vieira. Develop time constraints and developers not specialized in security often lead to security cautions being disregarded, giving utmost. Join facebook to connect with nuno lobo antunes and others you may know. We work across some of the most demanding industries, providing software and system services for safety, mission and business critical applications. Pdf detecting sql injection vulnerabilities in web services. Penetration testing for web services semantic scholar.
Abstract although web services are becoming business critical components, they are often deployed with critical software bugs, causing security vulnerabilities that can be maliciously exploited. Pdf web applications are frequently deployed with critical security bugs that can be maliciously. Their combined citations are counted only for the first article. Were upgrading the acm dl, and would like your input. Jul 27, 2012 nuno antunes is a phd student in the department of information science and technology at the university of coimbra, portugal, where he received an msc in informatics engineering. Started as a developer at critical software, where i learnt the value of organisation and team work. The cecris experience andrea bondavalli, francesco brancati isbn. Critical systems are becoming more and more complex and heterogeneous, integrating previously separated systems and including design solutions ranging from the introduction of software off the shelf ots to the adoption. Penetration testing for web services ieee journals. Icse 2021 43rd international conference on software engineering, 2329 may 2021. Innovative technologies for dependable otsbased critical systems. Cfp recent advances in the dependability assessment of. Penetration testing using commercially available automated tools can help avoid such faults, but new analysis of several popular testing tools reveals significant failings in their performance.
213 1430 1277 1542 787 355 1055 982 11 1317 1071 574 866 458 118 203 1351 410 807 1365 1043 814 452 1394 79 761 205 1445 1189 1412