16 citations · 16 across the 3 of their papers we have counts for
3 papers
Position Paper: Think Globally, React Locally -- Bringing Real-time Reference-based Website Phishing Detection on macOS
Ivan Petrukha, Nataliia Stulova, Sergii Kryvoblotskyi
Background. The recent surge in phishing attacks keeps undermining the effectiveness of the traditional anti-phishing blacklist approaches. On-device anti-phishing solutions are ga…
Practical Run-time Checking via Unobtrusive Property Caching
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
The use of annotations, referred to as assertions or contracts, to describe program properties for which run-time tests are to be generated, has become frequent in dynamic programi…
Towards Assertion-based Debugging of Higher-Order (C)LP Programs
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Higher-order constructs extend the expressiveness of first-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been i…