WASHINGTON (AP) — The top U.S. and Russian military leaders have discussed security at the Sochi Olympics, including the possibility of sharing technologies used by American forces to counter roadside bombs, the Pentagon said Thursday.

Russia has made no formal requests for the technology, and the U.S. has not offered it, Pentagon press secretary Adm. John Kirby said. But the chairman of the Joint Chiefs of Staff, Gen. Martin Dempsey, had an informal discussion this week with his Russian counterpart about the possibilities for its use during the Sochi Games.