KABUL, June 18 (Xinhua) -- Afghan police have foiled attempts to traffic a consignment of drugs out of the country via northern Kunduz province and arrested two alleged drug smugglers, provincial ...

TOKYO, June 6 (Xinhua) -- A private lunar lander from Japanese space startup ispace attempted a touchdown on the moon early Friday, but its fate remains unknown as the company is still trying to ...

In this talk, I would like to share our attempts to solve security problems using various techniques. Starting from formal methods, we have applied formal modeling and reasoning to security ...