Fifth Third Bank / PayPal / Wells Fargo / Cyberbunker / Bank of America / PNC / U.S. Bancorp / BB&T / Capital One / Spamhaus / Citigroup / HSBC / All About / /
Country
United States / /
Currency
pence / / /
Facility
Federal University of Para´ıba / /
IndustryTerm
online banking sites / formal method tools / stochastic systems / quantitative analysis tool / denialof-service prevention protocols / statistical model checker tool / adaptive and hybrid neuro-fuzzy systems / mastercard site / computational tool / foreign hacktivist / state-dependent protocols / asv protocol / application layer protocols / probabilistic object systems / composite actor systems / /
OperatingSystem
DoS / /
Organization
Federal University of Para´ıba / /
Person
Manuel Clavel / Catherine Meadows / Hakem Beitollahi / Saman Taghavi Zargar / al-Qassam Cyber Fighters / Leandro C. Almeida / Din al-Qassam Cyber / Fariba Khan / Pmaude / Gul Agha / Geert Deconinck / S. Selvakumar / Sanjeev Khanna / Sriram K. Rajamani / David Tipper / Martin Wirsing / Narciso Mart´-Oliet / Carolyn Talcott / Yi Xie / Vitaly Shmatikov / P. Arun Raj Kumar / Mahesh Viswanathan / Patrick Lincoln / Omid Fatemieh / Santosh S. Venkatesh / Francisco Dur´an / Ralf Sasse / Steven Eker / James Joshi / Shun-Zheng Yu / Carl A. Gunter / Koushik Sen / Jonas Eckhardt / Ajay Mahimkar / Matthew Prince / Yuri G. Dantas Vivek Nigam Iguatemi / /
Position
Actor / major U.S. banks / scheduler / generator actor / /
Product
Maude / PVeStA / /
ProgrammingLanguage
R / L / /
PublishedMedium
the HTTP POST / Lecture Notes in Computer Science / /