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. A nice picture taken in coimbra at critical software premises just before a. Critical software technology for an evolutionary partnership critical step. Penetration testing for web services semantic scholar. Understanding how to use static analysis tools for detecting cryptography misuse in software. See the complete profile on linkedin and discover nuno simaos connections and jobs at similar companies. The incorrect use of cryptography is a common source of critical software vulnerabilities. Issrew 12 proceedings of the 2012 ieee 23rd international symposium on software reliability engineering workshops pages 49.
Join facebook to connect with nuno antunes and others you may know. Penetration testing for web services ieee journals. Nuno antunes is an assistant professor at the department of informatics. The cecris experience andrea bondavalli, francesco brancati isbn. 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. Were upgrading the acm dl, and would like your input. Nuno antunes university of coimbra verified email at dei. Web services are often deployed with critical software security faults that open them to malicious attack. 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.
Nuno antunes software developer clavister ab linkedin. See the complete profile on linkedin and discover nuno s. Web services are often deployed with critical software bugs. Pdf detecting sql injection vulnerabilities in web services. Nuno antuness research works university of coimbra. Wosocer 20 has been the third edition of the internaltional workshop on software certification. Certifications of critical systems the cecris experience. 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. Pdf web applications are frequently deployed with critical security bugs that can be maliciously. Web services are often deployed with critical software security faults that open.
Comparing the effectiveness of penetration testing and static code analysis on the detection of sql injection vulnerabilities in web services nuno antunes, marco vieira. 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. 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. The company was established in 1998, from the university of coimbras business incubator and technology transfer centre, instituto pedro nunes ipn. 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. Nuno antunes audio video account manager houle linkedin. Nuno antunes s research while affiliated with university of coimbra and other places. See the complete profile on linkedin and discover nunos connections and jobs at similar companies. Lisbon and the president of the interactive technologies institute iti a research unit part of the larsys associated laboratory. We work across some of the most demanding industries, providing software and system services for safety, mission and business critical applications. 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.
An analysis of openstack vulnerabilities semantic scholar. Critical software is an international information systems and software company, headquartered in coimbra, portugal. See the complete profile on linkedin and discover nunos. 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. Nuno antunes and ivano irrera started their secondments at resiltech on 2nd of january. Out in space, our software orbits the earth 247, 365 days a year. 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. Cfp recent advances in the dependability assessment of. Sofsem 2021 47th international conference on current trends in theory and practice of computer science.
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. Paulo antunes junior software developer critical software. Nuno simao antunes svp emea head of multinational and. 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. Across the world, we provide our clients with technology they can trust. 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. Pdf web applications are frequently deployed with critical security bugs. Web services are often deployed with critical software security faults that. Join facebook to connect with nuno miguel antunes and others you may know. Nuno miguel antunes,mens clothing,mens underwear,portugal. Started as a developer at critical software, where i learnt the value of organisation and team work. Carvalho, nuno antunes, andrea ceccarelli, andras zentai subject. 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.
Company description i am starting doing business as an commercial agent, i am available to work for any market. Nuno antunes assistant professor university of coimbra. Sofsem 2021 47th international conference on current trends in theory and practice of. Marco vieira and nuno antunes, introduction to software security concepts, in innovative technologies for dependable otsbased critical systems, vol. Pdf comparing the effectiveness of penetration testing. Although web services are becoming business critical components, they are often deployed with critical software bugs that can be maliciously explored. 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 antunes postgraduate colloquium series coimbra, march 23, 2012. Alexandre melo braga, ricardo dahab, nuno antunes, nuno laranjeiro, marco vieira. Nuno antunes assistant professor university of coimbra linkedin. 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. A day in the life of a vision critical software engineer duration. Innovative technologies for dependable otsbased critical.
Penetration testing for web services ieee computer society. Home cecris project certification of critical systems. View the profiles of professionals named nuno antunes on linkedin. Web applications and services are often deployed with critical software bugs that may be maliciously exploited. View nuno antunes profile on linkedin, the worlds largest professional community. Aug 05, 2016 from development to management, nuno antunes has taken on multiple engineering roles at outsystems since he started almost 5 years ago. Nanjing university of aeronautics and astronautics. Their combined citations are counted only for the first article. Nuno antunes postgraduate colloquium series coimbr a, march 23, 2012. 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. 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. Reliability of software in artificial intelligence based software systems reliability of software within specific types of systems e. View nuno simao antunes profile on linkedin, the worlds largest professional community.
Penetration testing for web services request pdf researchgate. People centre for informatics and systems of the university. See the best free to download photos, images, and wallpapers by nuno antunes on unsplash. Dec 11, 20 penetration testing for web services abstract. Introduction to software security concepts springerlink. Semantic scholar profile for nuno antunes, with 46 highly influential citations and 93 scientific research papers. Nuno antunes is known for his work on alive 1993, first wave 1998 and exception to the rule 1997. View the profiles of people named nuno miguel antunes.
Ariadne carvalho, state university of campinas nuno antunes, university of coimbra andrea ceccarelli, ciniuniversity of florence contact us at. Pdf defending against web application vulnerabilities. Anaesthesia and analgesia in laboratory adult zebrafish. See the complete profile on linkedin and discover nuno s connections and jobs at similar companies. Icse 2021 43rd international conference on software engineering, 2329 may 2021. Innovative technologies for dependable otsbased critical systems.
307 1533 1220 1487 419 384 1346 1420 867 1661 1603 546 430 559 75 1162 1096 615 1226 904 1132 1313 803 214 1340 1459 1033 947 491 1578 1296 812 1486 276 1230 345 1185 1137 961 1226 784 536 135 227 453 1476 833 505