International Joint Conference on Artificial Intelligence 

Workshop on Intelligent Security
(SecArt 2011)

July 18, 2011, Barcelona, Spain.

 

[ Home ] [ Accepted Papers ] [ Call for Papers ] [ Program ]

 

IJCAI 2011

PROCEEDINGS

Third Workshop on
Intelligent Security
(Security and Artificial Intelligence)
SecArt-11

The workshop is full day. The following program is preliminary. Talks are allocated a slot of 30 mins, but should be prepared for 25 min, allowing 5 min discussion. The invited talk has 30 min extra.

  • 8:30 - 9:00 Registration
  • 9:00 - 9:10 Opening
  • 9:10 - 10:10 Invited Talk: Pavel Laskov, University of Tübingen, Germany. Machine Learning for Security and Security of Machine Learning.
  • 10:10 - 10:40 Session 1: Game Theory, Multi-Agent Systems
    • Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi and Mahsa Alishahi. Collusion-Resistant Reputation Mechanism for Multi-Agents Systems.
  • 10:40 - 11:00 Live Hacking demo
    • Jonas Heer, Florian Junge and Marcus-Sebastian Schröder. Security through Sandboxing? - Towards more secure smartphone platforms.
  • 11:00 - 11:30 Coffee break
  • 11:30 - 13:00 Session 2: Machine Learning, Data-Mining, Clustering
    • Sulaiman Al Amro, Khalid Aldrawiesh and Ajlan Al-Ajlan. A Comparative study of Computational Intelligence in Computer Security and Forensics.
    • Li Pu and Boi Faltings. Hypergraph Clustering for Better Network Traffic Inspection.
    • Muhammad Fermi Pasha, Mustafa Abdat and Mandava Rajeswari. IPv6 Traffic Flow Security Threats and Trend Analysis: Towards Combined Intelligent Detection Approach.
  • 13:00 - 14:30 Lunch break
  • 14:30 - 15:30 Session 3: Description Logic, Ontology Reasoning, KR.
    • Karim Tabia, Salem Benferhat, Philippe Leray and Ludovic Me. Alert correlation in intrusion detection: Combining AI-based approaches for exploiting security operators' knowledge and preferences.
    • Carsten Elfers, Stefan Edelkamp and Otthein Herzog. Current Approaches in Algorithmic Intelligence: Efficient Tolerant Pattern Matching with Constraint Abstractions in Description Logic.
  • 15:30 - 16:30 Session 4: Planning.
    • Carlos Sarraute, Olivier Buffet and Joerg Hoffmann. Penetration Testing = POMDP Solving?
    • Dominik Elsbroek, Daniel Kohlsdorf, Dominik Menke and Lars Meyer. FIDIUS: Intelligent Support for Vulnerability Testing.
  • 16:30 - 17:00 Coffee break
  • 17:00 - 17:30 IJCAI-11 Highlight
    • Alice Zheng, Ashish Kapoor and John Dunagan. Active Graph Reachability Reduction for Network Security and Software Engineering.
  • 17:30 - 18:00 Wrapup discussion
  • 18:00 End of Workshop

Support:

Squis
SecArt 2011
Stefan Edelkamp (edelkamp@tzi.de)